Institute of Theoretical Informatics, Algorithm Engineering

Partially Instantiated Representations for Automated Planning

  • Subject:Automated Planning, SAT Solving, Parallel Algorithms
  • Type:Masterarbeit
  • Date:September 2019
  • Supervisor:

    Dominik Schreiber

  • Student:

    Marvin Williams