SibylSatOpt: a MaxSAT-based Greedy Optimal Search for TOHTN Planning.

Gaspard Quenard, Damien Pellier, Humbert Fiorino

Browse the full ICAPS paper archive.