Propositional (Boolean) Satisfiability

This page contains links and resources on Propositional (Boolean) Satisfiability (SAT).

Sites on Propositional Satisfiability

• SATLIB.
• References on SAT.
• SATLIVE.
• SAT-EX.
• D. Le Berre's SAT Site.
• DIMACS Challenge on SAT.
• Our local SAT benchmark FTP site.

Publicly available SAT packages

• GRASP SAT solver page.
• UofM GRASP distribution.
• rel_sat source code.
• SATO source code.
• POSIT source code.
• Tableau source code.
• Heerhugo source code.
• Walksat source code.
• GSAT source code.
• GA-based SAT algorithms.

Other SAT packages

• 2cl developed by Allen Van Gelder.
• CSAT developed by Olivier Dubois and his group.
• sat package developed at CRIL.
• satz developed by Anbulagan and Chu-Min Li.

Companies selling SAT packages

• Greentech Computing
• Prover Technology

My work on SAT and related issues

• Recent publications.
• List of publications.
• Technical reports.
• Tutorials.
• Selected talks.
• SAT software.
• Applications of SAT (mostly in EDA).

If you have any suggestions of SAT links or resources, please send me an e-mail.