https://www.dagstuhl.de/23261

June 25 – 30 , 2023, Dagstuhl Seminar 23261

SAT Encodings and Beyond

Organizers

Marijn J. H. Heule (Carnegie Mellon University – Pittsburgh, US)
Inês Lynce (Technical University of Lisboa, PT)
Stefan Szeider (TU Wien, AT)
Neng-Fa Zhou (Brooklyn College, US)

For support, please contact

Jutka Gasiorowski for administrative matters

Michael Gerke for scientific matters

Classification

  • Computational Complexity
  • Data Structures And Algorithms
  • Logic In Computer Science

Keywords

  • Propositional satisfiability
  • Problem formulation
  • Lower and upper bounds
  • Constraint propagation
  • Symmetry breaking

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.