SAT Association Logo

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

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