High Quality Test Pattern Generation And Boolean Satisfiability by Rolf Drechsler & Stephan Eggersgluess