Search Ordering Heuristics for Restarts-Based Constraint Solving.
Margarita RazgonBarry O'SullivanGregory M. ProvanPublished in: FLAIRS Conference (2007)
Keyphrases
- constraint solving
- constraint satisfaction problems
- ordering heuristics
- constraint solver
- forward checking
- constraint propagation
- search algorithm
- constraint satisfaction
- constraint logic programming
- search space
- search problems
- tree search
- constraint programming
- search methods
- search strategy
- search strategies
- np complete
- constraint solvers
- combinatorial problems
- heuristic search