Symmetry-breaking Answer Set Solving
Christian DrescherOana TifreaToby WalshPublished in: CoRR (2010)
Keyphrases
- answer sets
- symmetry breaking
- boolean optimization
- pseudo boolean
- logic programs
- answer set programming
- sat solvers
- constraint programming
- logic programming
- graph coloring
- integer linear programming
- global constraints
- sat instances
- constraint satisfaction problems
- combinatorial optimization
- high level
- special case
- timetabling problem
- artificial intelligence
- machine learning