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.
Aside from plain propositional satisfiability, the meeting's scope includes Boolean optimization, Quantified Boolean Formulas, Satisfiability Modulo Theories, and Constraint Programming for problems with clear connections to Boolean-level reasoning.
Many hard combinatorial problems can be tackled using SAT-based techniques, including those that arise in Formal Verification, Artificial Intelligence, Operations Research, Computational Biology, Cryptology, Data Mining, Machine Learning, Mathematics, etc.
Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains.

EurAI sponsored the 20th edition of SAT (2017, Melbourne - Australia)

> CLICK HERE to see other Conferences sponsored by EurAI <