Home | english  | Impressum | Datenschutz | Sitemap | KIT

Efficient SAT Encodings for Hierarchical Planning

Efficient SAT Encodings for Hierarchical Planning
Tagung:

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

Links:Folien
Tagungsort:

Prag, CZ

Datum:

Februar 2019

Autoren:

Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomas Balyo

Referent:

Dominik Schreiber