Algebraic Approach to Promise Constraint Satisfaction.
Libor BartoJakub BulínAndrei A. KrokhinJakub OprsalPublished in: J. ACM (2021)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- russian doll search
- constraint relaxation
- constraint propagation
- phase transition
- constraint programming
- relaxation labeling
- product configuration
- constraint solving
- probabilistic reasoning
- special case
- search algorithm
- robust fault detection
- arc consistency
- constraint optimization
- constraint problems
- combinatorial problems
- neural network
- genetic algorithm
- soft constraints
- sat solvers
- constraint solver
- forward checking
- search strategies
- orders of magnitude
- learning algorithm