Branching and pruning: An optimal temporal POCL planner based on constraint programming.
Vincent VidalHector GeffnerPublished in: Artif. Intell. (2006)
Keyphrases
- constraint programming
- constraint satisfaction problems
- combinatorial problems
- constraint satisfaction
- search heuristics
- integer programming
- temporal planning
- search strategies
- column generation
- search space
- constraint propagation
- global constraints
- heuristic search
- constraint solving
- branch and bound
- arc consistency
- optimal solution
- itemset mining
- temporal constraints
- finite domain
- symmetry breaking
- constraint solver
- hard and soft constraints
- temporal information
- temporal reasoning
- search algorithm