Robinson, N., Gretton, C., Pham, D. N., & Sattar, A. (2009). SAT-Based Parallel Planning Using a Split Representation of Actions. Proceedings of the International Conference on Automated Planning and Scheduling, 19(1), 281-288. https://doi.org/10.1609/icaps.v19i1.13368