SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning.

Gaspard Quenard, Damien Pellier, Humbert Fiorino

Browse the full ECAI paper archive.