Rintanen, Jussi. “Heuristics for Planning With SAT and Expressive Action Definitions”. Proceedings of the International Conference on Automated Planning and Scheduling 21, no. 1 (March 22, 2011): 210-217. Accessed May 3, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13478.