Quenard, G., D. Pellier, and H. Fiorino. “SibylSatOpt: A MaxSAT-Based Greedy Optimal Search for TOHTN Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 35, no. 1, Sept. 2025, pp. 236-44, doi:10.1609/icaps.v35i1.36124.