Quenard, G., Pellier, D. and 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 (Sep. 2025), 236-244. DOI:https://doi.org/10.1609/icaps.v35i1.36124.