Daniel Höller [email protected]
totSAT-Totally-ordered hierarchical planning through SAT, Gregor Behnke, Daniel Höller, Susanne Biundo, AAAI, 2018. PDF
A generic method to guide HTN progression search with classical heuristics, D. Höller, P. Bercher, G. Behnke, S. Biundo, ICAPS, 2018. PDF