SAT Association Logo

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

SAT 2016 will be hosted by U. Bordeaux
Nadia Creignou, Daniel Le Berre, Laurent Simon will organize the event
 
Recent Group Photo - see the scrapbook for more
   - 2015 SAT conference, Austin, Texas
SAT
2015

Purpose
   The aim of the Association is to promote science and research, in particular with regard to the Satisfiability Problem and related areas such as Formal Verification and other applications of SAT, Proof Complexity, Serial and Parallel SAT Solvers, Satisfiability Modulo Theories, Quantified Boolean Formulas, SAT Algorithms, MAX-SAT, MUS Extraction, and SAT Encodings. This is realized by overseeing the organization and location of the series of annual conferences known as the International Conference on the Theory and Applications of Satisfiability Testing, promoting research in the design and analysis of algorithms for Satisfiability that should significantly impact one or more practical applications, publishing the online version of the Journal on Satisfiability, Boolean Modeling, and Computation (known as JSAT), and representing the SAT community in other scientific forums.
SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000