Armin Biere Bounded Model Checking. 457-481 2009 Handbook of Satisfiability http://dx.doi.org/10.3233/978-1-58603-929-5-457 series/faia/2009-185 db/series/faia/faia185.html#Biere09