Home | deutsch  | Legals | Data Protection | Sitemap | KIT

Efficient SAT Encodings for Hierarchical Planning

Efficient SAT Encodings for Hierarchical Planning
Conference:

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

Links:Slides
Location:

Prague, CZ

Date:

February 2019

Author(s):

Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomas Balyo

Speaker:

Dominik Schreiber