Integrating Heuristics for Constraint Satisfaction Problems: A Case Study.
Steven MintonPublished in: AAAI (1993)
Keyphrases
- constraint satisfaction problems
- hyper heuristics
- constraint satisfaction
- backtrack search
- finding optimal solutions
- constraint programming
- random instances
- search space
- constraint solvers
- constraint propagation
- np complete
- variable ordering heuristics
- ordering heuristics
- arc consistency
- np hard
- constraint solving
- search strategies
- constraint problems
- pseudo boolean optimization
- forward checking
- search algorithm
- finite domain
- non binary
- combinatorial problems
- decomposition methods
- heuristic search
- soft constraints
- sat problem
- planning graph
- constraint networks
- global constraints
- backtracking search
- temporal constraints
- phase transition
- partial constraint satisfaction
- computational problems
- tree search
- configuration problems
- randomly generated
- solving constraint satisfaction problems
- sat solvers
- dynamic constraint satisfaction problems