Quenard, G., Pellier, D., & Fiorino, H. (2025). SibylSatOpt: a MaxSAT-based Greedy Optimal Search for TOHTN Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 35(1), 236–244. https://doi.org/10.1609/icaps.v35i1.36124