Pruning Techniques for Lifted SAT Based Hierarchical Planning

  • Forschungsthema:Automatisierte Planung
  • Typ:Masterarbeit
  • Datum:Dezember 2021
  • Betreuung:

    Peter Sanders, Dominik Schreiber

  • Bearbeitung:

    Nikolai Schnell