Lazy Branching for Constraint Satisfaction.
Deepak MehtaBarry O'SullivanLars KotthoffYuri MalitskyPublished in: ICTAI (2013)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- phase transition
- heuristic search
- branch and bound
- relaxation labeling
- constraint propagation
- constraint relaxation
- combinatorial problems
- robust fault detection
- constraint programming
- search tree
- probabilistic reasoning
- arc consistency
- sat solvers
- constraint problems
- constraint networks
- product configuration
- max csp
- russian doll search
- evolutionary algorithm
- forward checking
- variable ordering
- constrained problems
- np complete
- special case