Keyphrases
- answer set programming
- symmetry breaking
- constraint programming
- answer sets
- logic programs
- logic programming
- search tree
- boolean satisfiability
- reasoning tasks
- global constraints
- answer set programs
- graph coloring
- constraint satisfaction problems
- integer linear programming
- sat solvers
- knowledge representation
- phase transition
- constraint satisfaction
- combinatorial problems
- simulated annealing
- search algorithm
- data structure