Cashmore M, Fox M, Long D, Magazzeni D. A Compilation of the Full PDDL+ Language into SMT. ICAPS [Internet]. 2016Mar.30 [cited 2024Jul.13];26(1):79-87. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13755