Universiteit van Amsterdam


Institute for Logic, Language and Computation

5 - 9 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Alghero, Italy

Date: 5 - 9 July 2020
Location: Alghero, Italy
Deadline: Saturday 22 February 2020

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), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: Theoretical advances, Practical search algorithms, Knowledge compilation, Implementation-level details of SAT solving tools, Problem encodings and reformulations, Applications, and Case studies based on rigorous experimentation.

Submissions to SAT 2020 are solicited in three categories, describing original contributions: Long papers (9 to 15 pages, excluding references), Short papers (up to 8 pages, excluding references) and Tool papers (up to 6 pages, excluding references).

For more information, see http://sat2020.idea-researchlab.org/ or contact .