Alterierende Suche in der Kombinatorik mit SAT (ASK-SAT)
Alternating Symmetry-Breaking Combinatorial Search with SAT
Stefan Szeider
Wissenschaftsdisziplinen
Informatik (40%); Mathematik (60%)
Keywords
-
SAT-solving,
Quantified Boolean Formulas,
Symmetry-Breaking Constraints,
SAT-encodings
Forschungsstätte(n)
- Technische Universität Wien - 100%
Internationale Projektbeteiligte
- Armin Biere, Albert-Ludwigs-Universität Freiburg - Deutschland
- Olaf Beyersdorff, Friedrich Schiller University Jena - Deutschland
- Manfred Scheucher, Technische Universität Berlin - Deutschland
- Marijn J. H. Heule, Carnegie Mellon University - Vereinigte Staaten von Amerika
- Neng-Fa Zhou, City University of New York - Vereinigte Staaten von Amerika