Robinson, Nathan, Charles Gretton, Duc Nghia Pham, and Abdul Sattar. “SAT-Based Parallel Planning Using a Split Representation of Actions”. Proceedings of the International Conference on Automated Planning and Scheduling 19, no. 1 (October 16, 2009): 281–288. Accessed May 26, 2026. https://ojs.aaai.org/index.php/ICAPS/article/view/13368.