Pruning Techniques for Lifted SAT Based Hierarchical Planning

  • Subject:Automated planning
  • Type:Masterarbeit
  • Date:December 2021
  • Supervisor:

    Peter Sanders, Dominik Schreiber

  • Student:

    Nikolai Schnell