Constraint Propagation in Propositional Planning.
Andreas SiderisYannis DimopoulosPublished in: ICAPS (2010)
Keyphrases
- constraint propagation
- constraint reasoning
- truth maintenance systems
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint solving
- temporal constraints
- finite domain
- arc consistency
- constrained problems
- propositional logic
- interval analysis
- quantifier elimination
- russian doll search
- interval arithmetic
- tree search
- search space
- heuristic search
- constraint solver
- constraint graph
- planning problems
- first order logic
- linear programming
- backtracking algorithms
- combinatorial problems
- systematic search
- state space