Ofer Strichman

Books
Theory and Applications of Satisfiability Testing – SAT 2010 Theory and Applications of Satisfiability Testing – SAT 2010
Theory and Applications of Satisfiability Testing – SAT 2010
2010
Decision Procedures Decision Procedures
Decision Procedures
2008