On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning.
Subbarao KambhampatiXiuping YangPublished in: KR (1996)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint solving
- heuristic search
- tree search
- temporal constraints
- search space
- constraint graph
- arc consistency
- planning problems
- constraint solver
- linear programming
- interval arithmetic
- quantifier elimination
- database systems
- soft constraints
- finite domain
- systematic search
- backtracking algorithms
- combinatorial problems
- contextual information
- logic programs
- optimization problems