"High Quality Test Pattern Generation and Boolean Satisfiability" - читать интересную книгу автора (Stephan Eggersglüß, Rolf Drechsler)