Reducing Search Space in Local Search for Constraint Satisfaction.
Hai FangY. KilaniJimmy Ho-Man LeePeter J. StuckeyPublished in: AAAI/IAAI (2002)
Keyphrases
- constraint satisfaction
- search space
- constraint satisfaction problems
- heuristic search
- search algorithm
- global search
- constraint propagation
- constraint programming
- search strategy
- phase transition
- branch and bound
- constraint relaxation
- metaheuristic
- search procedure
- combinatorial problems
- search tree
- arc consistency
- optimal solution
- backtrack search
- explore the search space
- russian doll search
- hill climbing
- robust fault detection
- fitness function
- product configuration
- neural network
- state space
- constraint solving
- search strategies
- soft constraints
- relaxation labeling
- non binary
- sat solvers
- constraint optimization
- tabu search
- constraint problems
- constrained problems
- forward checking
- dynamic programming
- reinforcement learning
- satisfiability problem