Machine Learned Heuristics to Improve Constraint Satisfaction.
Marco CorreiaPedro BarahonaPublished in: SBIA (2004)
Keyphrases
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- constraint programming
- backtrack search
- relaxation labeling
- search algorithm
- search strategies
- phase transition
- constraint relaxation
- probabilistic reasoning
- russian doll search
- constraint solving
- combinatorial problems
- arc consistency
- constraint propagation
- constraint optimization
- exact algorithms
- sat solvers
- neural network
- soft constraints
- constrained problems
- randomly generated