Gasquet, Olivier, Dominique Longin, Fr´ed´eric Maris, Pierre R´egnier, and Ma¨el Valais. “Compact Tree Encodings for Planning As QBF”. Inteligencia Artificial 21, no. 62 (October 1, 2018): 103–113. Accessed April 20, 2024. https://journal.iberamia.org/index.php/intartif/article/view.