Robinson N, Gretton C, Pham DN, Sattar A. SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS [Internet]. 2009 Oct. 16 [cited 2026 May 26];19(1):281-8. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13368