Solving finite domain constraint hierarchies by local consistency and tree search.
Stefano BistarelliPhilippe CodognetH. K. C. HuiJimmy Ho-Man LeePublished in: J. Exp. Theor. Artif. Intell. (2009)
Keyphrases
- tree search
- constraint propagation
- finite domain
- systematic search
- branch and bound
- path consistency
- constraint programming
- search algorithm
- search tree
- mathematical programming
- finite domain constraint
- temporal constraints
- combinatorial optimization
- constraint satisfaction problems
- path finding
- optimization problems
- constraint satisfaction
- linear programming
- combinatorial problems
- state space
- constraint solving
- evolutionary algorithm
- search space
- computational complexity