Topology and adjunction in promise constraint satisfaction.
Andrei A. KrokhinJakub OprsalMarcin WrochnaStanislav ZivnýPublished in: Electron. Colloquium Comput. Complex. (2020)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- probabilistic reasoning
- relaxation labeling
- phase transition
- heuristic search
- constraint propagation
- arc consistency
- constraint solving
- constraint programming
- robust fault detection
- constraint problems
- soft constraints
- evolutionary algorithm
- combinatorial problems
- np hard
- sat solvers
- search strategies
- evolutionary computation
- constrained problems
- lower bound