PASAR – Planning as Satisfiability with Abstraction Refinement

  • Forschungsthema:Automatisierte Planung, SAT Solving, Heuristische Suche
  • Typ:Masterarbeit
  • Datum:September 2019
  • Betreuung:

    Tomáš Balyo, Dominik Schreiber

  • Bearbeitung:

    Nils Froleyks