Advanced Boolean Techniques
Rolf Drechsler
Advanced Formal Verification
High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability