"Test pattern generation using Boolean proof engines" - читать интересную книгу автора (Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille)