Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- relaxation labeling
- constraint programming
- probabilistic reasoning
- product configuration
- constraint relaxation
- russian doll search
- phase transition
- sat solvers
- combinatorial problems
- soft constraints
- constraint propagation
- forward checking
- arc consistency
- neural network
- branch and bound algorithm
- search strategies
- max csp
- lower bound