Rintanen J. Heuristics for Planning with SAT and Expressive Action Definitions. ICAPS [Internet]. 2011Mar.22 [cited 2024Jul.23];21(1):210-7. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13478