Long papers
9 to 15 pages, excluding references and appendices; must contain original research with sufficient detail to assess contribution.
Theory/CORE A
SAT 2026
International Conference on Theory and Applications of Satisfiability Testing
SAT 2026 is the 29th International Conference on Theory and Applications of Satisfiability Testing, held as part of FLoC 2026 in Lisbon, Portugal. It brings together researchers working on propositional satisfiability and related areas such as MaxSAT, QBF, SMT, model counting, and Constraint Programming, with a focus on theoretical advances, practical algorithms, and real-world applications.
Key deadlines
Verified September 9, 2026Abstract registration
March 3, 2026
AoE
Full paper
March 11, 2026
AoE
Conference timeline
Submission and decisions
Abstract registrationKey deadline
March 3, 2026 · AoE
Full paperKey deadline
March 11, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short papers
Up to 8 pages, excluding references and appendices; must contain original research with sufficient detail to assess contribution; evaluated with same standards as long papers.
Tool papers
Up to 8 pages, excluding references and appendices; must report on the design and implementation of a tool (e.g., solver, preprocessor, SAT-based system) with novel features and a publicly available artifact.
Research areas in scope
01
Topics of Interest
Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues)Practical search algorithmsKnowledge compilationImplementation-level details of SAT solving tools and SAT-based systemsProblem encodings and reformulationsApplications (including both novel application domains and improvements to existing approaches)Case studies and reports on insightful findings based on rigorous experimentation
Policies worth checking twice
- Submissions must not be under review elsewhere nor submitted elsewhere while under review for SAT 2026.
- Submissions must not consist of previously published material.
- Papers must be formatted in the LIPIcs LaTeX style.
- Submissions must be made electronically in PDF format.
- The reviewing process is single-blind.
- Reviewers are not required to read appendices; submissions must be self-contained within page limits.
- There will be no re-classification of submissions by the PC.
- Authors may submit a supplement (as a single zipped file) containing detailed proofs, data, or software, treated with the same confidentiality as the paper.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026