High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability | lit.salon