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