Propositional approximations for bounded model checking of partial circuit designs. - Bernd Becker 001; Marc Herbstritt; Natalia Kalinnik; Matthew Lewis 004; Juri Lichtner; Tobias Nopper; Ralf Wimmer 001 (ICCD, 2008)