Technical Reports from 2021

Here follows a list of all Technical Reports from 2021. By following the respective links, you can have a look at a report´s abstract or the pdf version. Generally, the abstracts are written in English, since most of the reports are in this language.

Report Nr.297, April 2021 (PDF)
Gregor Behnke.
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning: Extended Data.

Report Nr. 296
Daniel Höller, Gregor Behnke .
Loop Detection in the PANDA Planning System: Extended Data.

Report Nr.295
Gregor Behnke, David Speck
Symbolic Search for Total-Order HTN Planning: Technical Report.