Propositional (Boolean) Satisfiability


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


Sites on Propositional Satisfiability


Publicly available SAT packages


Other SAT packages


Companies selling SAT packages


My work on SAT and related issues


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


Joao Marques Silva (E-mail: jpms@inesc.pt )
Last modified: Sun Jan 21 13:51:40 2001