Efficient SAT Encodings for Hierarchical Planning.

Dominik Schreiber, Damien Pellier, Humbert Fiorino, Toms Balyo

Browse the full ICAART paper archive.