SAT Association Logo

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

   2024 SAT conference, August 21–24 2024, Pune, India
Pune

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