TY  - RPRT
TI  - SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
AU  - Gaspard Quenard
AU  - Damier Pellier
AU  - Humbert Fiorino
PY  - 2024
DO  - 10.3233/faia240987
UR  - https://arxiv.org/abs/2411.02035
ID  - 2411.02035
ER  -