Continuous Time in a SAT-Based Planner.

Ji-Ae Shin, Ernest Davis

Browse the full AAAI paper archive.