Login / Signup
Temporal Planning with Clock-Based SMT Encodings.
Jussi Rintanen
Published in:
IJCAI (2017)
Keyphrases
</>
temporal planning
planning problems
mutual exclusion
temporal planner
plan generation
domain independent
ai planning
heuristic search
statistical machine translation
simple temporal
plan execution
partial order
causal links
state space
temporal constraints
classical planning
plan recognition