"Finding Optimal Solutions in HTN Planning - A SAT-based Approach."

Gregor Behnke, Daniel Höller, Susanne Biundo (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics