On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction.
Manuel BodirskyMartin HilsBarnaby MartinPublished in: LICS (2010)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint programming
- constraint propagation
- constraint relaxation
- phase transition
- probabilistic reasoning
- constraint solving
- arc consistency
- russian doll search
- relaxation labeling
- combinatorial problems
- soft constraints
- sat solvers
- constrained problems
- robust fault detection
- product configuration
- search algorithm
- reinforcement learning