SAT Association Logo

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

Committees
   Steering Committee - 2015/2016
SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000