https://www.dagstuhl.de/23261
25. – 30. Juni 2023, Dagstuhl-Seminar 23261
SAT Encodings and Beyond
Organisatoren
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)
Auskunft zu diesem Dagstuhl-Seminar erteilen
Jutka Gasiorowski zu administrativen Fragen
Michael Gerke zu wissenschaftlichen Fragen
Classification
- Computational Complexity
- Data Structures And Algorithms
- Logic In Computer Science
Keywords
- Propositional satisfiability
- Problem formulation
- Lower and upper bounds
- Constraint propagation
- Symmetry breaking