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