Topology and Adjunction in Promise Constraint Satisfaction.
Andrei A. KrokhinJakub OprsalMarcin WrochnaStanislav ZivnýPublished in: SIAM J. Comput. (2023)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint programming
- phase transition
- relaxation labeling
- constraint propagation
- russian doll search
- probabilistic reasoning
- combinatorial problems
- constrained problems
- robust fault detection
- sat solvers
- arc consistency
- constraint networks
- state space
- constraint solving
- neural network
- soft constraints
- product configuration
- forward checking
- constraint optimization
- constraint relaxation
- search space