Institut für Theoretische Informatik, Algorithmik II

Partiell Instantiierte Repräsentationen für Automatisierte Planung

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

    Dominik Schreiber

  • Bearbeiter:

    Marvin Williams