Partiell Instantiierte Repräsentationen für Automatisierte Planung

  • Forschungsthema:Automatisierte Planung, SAT Solving, Parallele Algorithmen
  • Typ:Masterarbeit
  • Datum:September 2019
  • Betreuung:

    Dominik Schreiber

  • Bearbeitung:

    Marvin Williams