High quality test pattern generation and Boolean satisfiability by Drechsler, Rolf, Eggersglüß, Stephan 0 Type: Book