Effective Use of Boolean Satisfiability (2001)

by M Velev, R Bryant
Venue:Procedures in the Formal Verification of Superscalar and VLIW Microprocessors,” In Proceedings of the Design Automation Conference