Bernd Becker Marc Herbstritt Natalia Kalinnik Matthew D. T. Lewis Juri Lichtner Tobias Nopper Ralf Wimmer Propositional approximations for bounded model checking of partial circuit designs. 52-59 2008 ICCD http://dx.doi.org/10.1109/ICCD.2008.4751840 conf/iccd/2008 db/conf/iccd/iccd2008.html#BeckerHKLLNW08