Karem A. Sakallah

• Theory and Application of Satisfiability Testing
• Theory and Applications of Satisfiability Testing - SAT 2011
• Theory and Applications of Satisfiability Testing - SAT 2007