Symmetry-breaking answer set solving.
Christian DrescherOana TifreaToby WalshPublished in: AI Commun. (2011)
Keyphrases
- answer sets
- symmetry breaking
- boolean optimization
- logic programs
- answer set programming
- pseudo boolean
- sat solvers
- graph coloring
- constraint programming
- logic programming
- integer linear programming
- search tree
- global constraints
- sat instances
- search space
- combinatorial optimization
- combinatorial problems
- artificial intelligence
- orders of magnitude
- simulated annealing
- general purpose
- upper bound
- loop formulas
- natural language