Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation.

Joo Marques-Silva, Karem A. Sakallah

Browse the full CAV paper archive.