The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
The 29th Edition of International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) will take place on 20-23 July at the University Institute of Lisbon (ISCTE), Portugal.
SAT 2026 is a part of the Federated Logic Conference (FLoC) 2026.