SAT Association Logo

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

Conferences
   25th Conf. on Computer Aided Verification (CAV)
   24th Conf. on Computer Aided Verification (CAV)
   12th Conf. on Formal Methods in Computer-Aided Design (FMCAD)
   6th Itnl Joint Conf. on Automated Reasoning (IJCAR)
   23rd Intl. Conf. on Automated Deduction (CADE)
SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000