The 26th International Conference on Theory and Applications of
Satisfiability Testing (SAT 2023)

Alghero, Italy, July 4-8, 2023.

http://satisfiability.org/SAT23/

======================================
IMPORTANT DATES
======================================

* Abstract Submission: March 10, 2023

* Paper Submission: March 17, 2023

* Author Response: April 26 – April 30, 2023

* Author Notification: May 15, 2023

======================================
SCOPE
======================================

SAT is the premier annual meeting for researchers focusing on the
theory and applications of propositional satisfiability, broadly
construed. That 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. Topics of interest include (but are not limited to):

- Theoretical advances (including algorithms, proof complexity,
parameterized complexity, and other complexity issues)
- Practical search algorithms
- Knowledge compilation
- Implementation-level details of SAT solving tools and SAT-based systems
- Problem encodings and reformulations
- Applications (including both novel applications domains and
improvements to existing approaches)
- Case studies and reports on insightful findings based on rigorous
experimentation

======================================
SUBMISSION
======================================

Submissions to SAT 2023 are invited in the following three categories:

* Long papers (9 to 15 pages, excluding references)

* Short papers (up to 8 pages, excluding references)

* Tool papers (up to 8 pages, excluding references)

Papers must be formatted in the LIPIcs LaTeX style. Submissions must
be made electronically under the following link:

https://easychair.org/conferences/?conf=sat2023

======================================

For further information, please see the detailed call for papers on
the SAT 2023 website:

http://satisfiability.org/SAT23/pages/cfp.html