Ji-Ae Shin Ernest Davis Continuous Time in a SAT-Based Planner. 531-536 2004 conf/aaai/2004 AAAI db/conf/aaai/aaai2004.html#ShinD04 http://www.aaai.org/Library/AAAI/2004/aaai04-085.php