Ofer Strichman

Books

Decision Procedures Decision Procedures
Decision Procedures
2008
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