SAT Association Logo

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

SAT/SMT Summer School
   (6th) Intl SAT/SMT/AR Summer School
   5th Intl SAT/SMT Summer School
   4th Intl SAT/SMT Summer School
   3rd Intl SAT/SMT Summer School
   2nd Intl SAT/SMT Summer School
   1st Intl SAT/SMT Solver Summer School

SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000