Robinson, Nathan, Charles Gretton, Duc Nghia Pham, and Abdul Sattar. 2009. “SAT-Based Parallel Planning Using a Split Representation of Actions”. Proceedings of the International Conference on Automated Planning and Scheduling 19 (1):281-88. https://doi.org/10.1609/icaps.v19i1.13368.