SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning. - Gaspard Quenard; Damien Pellier; Humbert Fiorino (ECAI, 2024)

SibylSat : Utiliser SAT comme oracle pour effectuer une recherche gloutonne en planification TOHTN. - Gaspard Quenard; Damien Pellier; Humbert Fiorino (JIAF-JFPDA, 2025)