SAT Association Logo

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

Scrapbook
   SAT 2015, Austin, Texas, USA
   SAT 2014, Wien, Österreich
   SAT 2013, Helsinki, Finland
   SAT 2012, Trento, Italia
   SAT Interactions, 2012, Dagstuhl, Germany
   SAT Conference, 2011, Ann Arbor, Michigan, USA
   SAT Conference, 2009, Swansea, UK
   SAT Next Generation SAT Solvers, 2009, Dagstuhl, Germany
   SAT Conference, 2008, Guangzhou, China
   SAT Symposium, 2006, Guangzhou, China
   SAT Symposium, 2004, Guangzhou, China
   SAT Algorithms Workshop, 2003, Dagstuhl, Germany
   SAT Conference, 2002, Cincinnati, Ohio, USA
registrants
   SAT Conference, 2000, Renesse, The Netherlands
   SAT Workshop, 1998, Paderborn, Germany
registrants
   SAT Workshop, 1998, Paderborn, Germany - 2nd view
registrants
   SAT Workshop, 1996, Siena, Italy
registrants
SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000