SAT Encodings and Beyond (Dagstuhl Seminar 23261)

Authors Marijn J. H. Heule, Inês Lynce, Stefan Szeider, Andre Schidler and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 2.35 MB
  • 17 pages

Document Identifiers

Author Details

Marijn J. H. Heule
  • Carnegie Mellon University - Pittsburgh, US
Inês Lynce
  • University of Lisbon, PT
Stefan Szeider
  • TU Wien, AT
Andre Schidler
  • TU Wien, AT
and all authors of the abstracts in this report

Cite AsGet BibTex

Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler. SAT Encodings and Beyond (Dagstuhl Seminar 23261). In Dagstuhl Reports, Volume 13, Issue 6, pp. 106-122, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


This report documents the program and the outcomes of Dagstuhl Seminar 23261 "SAT Encodings and Beyond." The seminar facilitated an intense examination and discussion of current results and challenges related to encodings for SAT and related solving paradigms. The seminar featured presentations and group work that provided theoretical, practical, and industrial viewpoints. The goal was to foster more profound insights and advancements in encoding techniques, which are pivotal in enhancing solvers' efficiency.

Subject Classification

ACM Subject Classification
  • Theory of computation → Constraint and logic programming
  • Theory of computation → Discrete optimization
  • constraint propagation
  • lower and upper bounds
  • problem formulation
  • propositional satisfiability
  • symmetry breaking


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail