Shaik, Irfansha, and Jaco van de Pol. “Classical Planning As QBF Without Grounding”. Proceedings of the International Conference on Automated Planning and Scheduling 32, no. 1 (June 13, 2022): 329-337. Accessed March 29, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/19817.