Is Constraint Satisfaction Over Two Variables Always Easy?
Lars EngebretsenVenkatesan GuruswamiPublished in: Electron. Colloquium Comput. Complex. (2002)
Keyphrases
- constraint satisfaction
- constraint problems
- constraint satisfaction problems
- soft constraints
- constraint propagation
- heuristic search
- constraint programming
- relaxation labeling
- phase transition
- arc consistency
- probabilistic reasoning
- constraint relaxation
- configuration problems
- product configuration
- constraint solving
- robust fault detection
- learning algorithm
- combinatorial problems
- sat solvers
- russian doll search
- forward checking
- max csp
- constraint networks
- decision support
- special case
- expert systems
- reinforcement learning