Web Resources

• QBFLIB: the Quantified Boolean Formulas Satisfiability Library

• SATLIB: The Satisfiability Library

• Sat-Ex Site: the experimentation web site around the satisfiability problem

• SATLive!:    SATBIB

SAT Solvers (complete search)

SAT Solvers (incomplete search)

Benchmarks

• CSPLib

• Dimacs

• M. N. Velev (large suites from formal verification)

• Xu Ke (Forced Satisfiable CSP and SAT benchmarks)

References