======================================
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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
