Test Pattern Generation using Boolean Proof Engines - Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille; Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel (Springer Netherlands, 2009)