SMT-Based Abstract Parametric Temporal Planning.

Artur Niewiadomski Wojciech Penczek

Published in: Trans. Petri Nets Other Model. Concurr. (2015)

Keyphrases

temporal planning
mutual exclusion
temporal planner
plan generation
domain independent
ai planning
simple temporal
planning problems
heuristic search
long distance
plan execution
temporal constraints
partial order
causal links
statistical machine translation
integer linear programming
domain specific