Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning.
Adam Francis GreenJ. Christopher BeckAmanda Jane ColesPublished in: CP (2024)
Keyphrases
- constraint programming
- ai planning
- integer programming
- constraint propagation
- combinatorial problems
- constraint satisfaction
- constraint satisfaction problems
- temporal information
- heuristic search
- scheduling problem
- finite domain
- global constraints
- constraint logic programming
- planning systems
- search strategies
- temporal reasoning
- search heuristics
- planning problems
- temporal constraints
- symmetry breaking
- arc consistency
- constraint solver
- web service composition
- constraint solving
- planning domains
- machine learning
- instruction scheduling
- domain specific
- service composition