Random Constraint Satisfaction: A More Accurate Picture.
Dimitris AchlioptasLefteris M. KirousisEvangelos KranakisDanny KrizancMichael S. O. MolloyYannis C. StamatiouPublished in: CP (1997)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- constraint programming
- phase transition
- russian doll search
- heuristic search
- constraint relaxation
- constraint solving
- constraint propagation
- constrained problems
- probabilistic reasoning
- combinatorial problems
- neural network
- sat solvers
- robust fault detection
- constraint networks
- arc consistency
- sat problem
- soft constraints
- random instances
- search space