Karem A. Sakallah

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