conftrace_

temporal planning

28 papers

Explore in graph

Co-occurring keywords · papers mentioning both

heuristic search (5) automated planning (3) temporal constraint (3) formal verification (2) satisfiability modulo theory (2) forward search (2) optimal planning (2) multi-robot system (2) action planning (2) pddl planning (2)

Papers

Faster Conflict Generation for Dynamic Controllability IJCAI 2017 Temporal Planning for Compilation of Quantum Approximate Optimization Circuits IJCAI 2017 Temporal Planning with Clock-Based SMT Encodings IJCAI 2017