SAT Association Logo

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

   2017 SAT conference, Melbourne, Australia

   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
SAT cube
Search graph for CNF formula
SAT Handbook
Marek's book
SAT 2000