SAT Association Logo

THE SAT ASSOCIATION
DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more ...

Workshops
   International Workshop on Quantified Boolean Formulas, 2013
   11th International Workshop on Satisfiability Modulo Theories, 2013
   Pragmatics of SAT, 2013
   SAT Interactions, 2012
   Pragmatics of SAT, 2012
   Pragmatics of SAT, 2011
   Workshop on Practical Applications of SAT, 2011
   Pragmatics of SAT, 2010
   The Propositional Satisfiability Problem -- Algorithms and Lower Bounds, 2003
   Workshop on Computational Complexity and Statistical Analysis, 2001
   Workshop on Satisfiability, 1996
SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000