High Quality Test Pattern Generation and Boolean Satisfiability | lit.salon