Quenard, Gaspard, Damien Pellier, and Humbert Fiorino. 2025. “SibylSatOpt: A MaxSAT-Based Greedy Optimal Search for TOHTN Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 35 (1):236-44. https://doi.org/10.1609/icaps.v35i1.36124.