Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3 - 10 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Virtual

Date: 3 - 10 July 2020
Location: Virtual
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.

Due to the current circumstances regarding the COVID-19 pandemic outbreak, the conference program chairs have decided to hold SAT 2020 as a fully virtual conference which will be held from 3 to 10 July 2020.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.