Dynamic Clause Activation

High Quality Test Pattern Generation and Boolean Satisfiability ◽

10.1007/978-1-4419-9976-4_5 ◽

2012 ◽

pp. 73-106

Author(s):

Stephan Eggersglüß ◽

Rolf Drechsler

Download Full-text