Efficient SAT Encodings for Hierarchical Planning

  • Tagung:

    12th International Conference on Agents and Artificial Intelligence (ICAART)

  • Tagungsort:

    Prag, CZ

  • Datum:

    Februar 2019

  • Autoren:

    Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomas Balyo

  • Referent:

    Dominik Schreiber