Home | english  | Impressum | Datenschutz | Sitemap | KIT

PASAR – Planning as Satisfiability with Abstraction Refinement

PASAR – Planning as Satisfiability with Abstraction Refinement
Forschungsthema:Automatisierte Planung, SAT Solving, Heuristische Suche
Typ:Masterarbeit
Datum:September 2019
Betreuer:

Tomáš Balyo, Dominik Schreiber

Bearbeiter:

Nils Froleyks

Links:PDF