Drechsler, Rolf: High Quality Test Pattern Generation and Boolean Satisfiability