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