Encoding Temporal Planning as CSP.
Amol Dattatraya MaliPublished in: AIPS Workshop on Planning for Temporal Domains (2002)
Keyphrases
- temporal planning
- sat encodings
- mutual exclusion
- planning graph
- plan generation
- temporal planner
- ai planning
- domain independent
- planning problems
- partial order
- simple temporal
- heuristic search
- constraint satisfaction problems
- plan execution
- temporal constraints
- causal links
- classical planning
- long distance
- state space
- constraint programming
- constraint satisfaction
- domain specific
- objective function