Alternating Symmetry-Breaking Combinatorial Search with SAT
Alternating Symmetry-Breaking Combinatorial Search with SAT
Stefan Szeider
Disciplines
Computer Sciences (40%); Mathematics (60%)
Keywords
-
SAT-solving,
Quantified Boolean Formulas,
Symmetry-Breaking Constraints,
SAT-encodings
Research institution(s)
- Technische Universität Wien - 100%
International project participants