Schedule

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Schedule CS 611 Theorem Proving using SAT Solvers
Fall 2006

Readings on SAT Solving and Theorem Proving

MiniSat is currently the fastest SAT solver.
Yices is currently the fastest SAT solver modulo theories.
TPTP is a database of thousands of problems for theorem provers.
Local Search for Unsatisfiability by Stephen Prestwich and Ines Lynce is a paper on encoding propositional resolution proofs using SAT.