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