Sampling constraint satisfaction solutions in the local lemma regime.
Weiming FengKun HeYitong YinPublished in: STOC (2021)
Keyphrases
- constraint satisfaction
- combinatorial problems
- constraint satisfaction problems
- heuristic search
- constraint programming
- relaxation labeling
- phase transition
- constraint propagation
- constraint relaxation
- backtrack search
- benchmark problems
- russian doll search
- configuration problems
- arc consistency
- feasible solution
- sat solvers
- constraint networks
- probabilistic reasoning
- soft constraints
- constraint solving
- neural network
- search strategies
- product configuration
- simulated annealing
- search algorithm
- optimal solution