SAT 2025: Call for Papers

The 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) will take place from August 12-15, 2025, in Glasgow, Scotland.

SAT 2025 is co-located with the 31st International Conference on Principles and Practice of Constraint Programming (CP), the 18th International Symposium on Combinatorial Search (SoCS), and the 23rd International Workshop on Satisfiability Modulo Theories (SMT).

Scope

The scope of SAT 2025 includes all aspects of the theory and applications of propositional satisfiability broadly construed. This includes paradigms such as Boolean optimization using, e.g., MaxSAT and pseudo-Boolean (PB) solving, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), model counting, constraint programming (CP), and integer linear programming (ILP) 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 and SMT solving tools and SAT/SMT-based systems
• Problem encodings and reformulations
• Applications (including both novel applications domains and improvements to existing approaches)
• Case studies and reports on scientific findings based on rigorous experimentation

Paper Categories

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

• Long papers: (9 to 15 pages, excluding references and appendices)
• Short papers: (up to 8 pages, excluding references and appendices)
• Tool papers: (up to 8 pages, excluding references and appendices)

Submission

Submissions should be made via EasyChair.

Papers must be formatted in the LIPIcs LaTeX style, which is available here. Submissions must be made electronically in the form of PDF files.

The reviewing process for SAT 2025 is single-blind. For reporting and managing conflicts of interest, SAT 2025 will use the ACM CoI policy.

Authors may submit a supplement containing detailed proofs, examples, software, detailed experimental data, or other material related to the submission.

One author of each accepted paper is expected to present the paper at the conference.

Submissions can only be withdrawn before the author response period begins. No withdrawals will be allowed after the preliminary reviews have been communicated to the authors.

Important Dates

Date	Event
March 24, 2025 23:59 AoE	Abstract registration
April 3, 2025 23:59 AoE	Full paper submission
May 9-12, 2025 AoE	Author response
May 29, 2025	Notification of decisions
TBA	Camera-ready version submission
August 10-11, 2024	Workshops and Doctoral Program
August 12-15, 2024	Conference

Best Paper Awards

Long and short papers may be considered for a best paper award. If the main authors are students at the time of submission, the paper may be considered for a best student paper award.

Proceedings

Accepted papers will be published as conference proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open electronic archive.

Invitation of Top Papers to AIJ and JAIR

Top papers from SAT 2025 will be invited to the award-winning paper tracks in Artificial Intelligence Journal (AIJ) or Journal of Artificial Intelligence Research (JAIR).

Call for Workshops

We invite proposals for workshops to be held immediately before the main conferences in Glasgow, UK. Workshops offer an opportunity for in-depth discussions, hands-on experiences, and focused exploration of specific areas connected to constraint programming, SAT solving, and related topics.

Important Dates for Workshops

• Proposal submission: March 20, 2025
• Notification of decisions: March 30, 2025
• Workshops: August 10-11, 2025
• Main conferences: August 12-15, 2025

Proposal Submission Guidelines for Workshops

Workshop proposals are to be submitted by email to the workshop chairs and will be reviewed by the workshop chairs together with the program and conference chairs.

For inquiries and submissions, please contact the workshop chairs:

• Zeynep Kiziltan
• Marc Vinyals