Institute of Theoretical Informatics, Algorithm Engineering

Efficient SAT Encodings for Hierarchical Planning

  • Conference:

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

  • Location:

    Prague, CZ

  • Date:

    February 2019

  • Author(s):

    Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomas Balyo

  • Speaker:

    Dominik Schreiber