G. Quenard, D. Pellier, and H. Fiorino, “SibylSatOpt: a MaxSAT-based Greedy Optimal Search for TOHTN Planning”, ICAPS, vol. 35, no. 1, pp. 236-244, Sep. 2025.