Algebraic approach to promise constraint satisfaction.
Jakub BulínAndrei A. KrokhinJakub OprsalPublished in: STOC (2019)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint propagation
- phase transition
- constraint programming
- relaxation labeling
- probabilistic reasoning
- constraint relaxation
- robust fault detection
- combinatorial problems
- constraint networks
- constraint solving
- arc consistency
- constrained problems
- backtrack search
- industrial applications
- special case