Context

Context of High quality test pattern generation and boolean satisfiability, Stephan Eggersglüß, Rolf Drechsler, (electronic book)