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

Gregor Behnke, Daniel Hller, Susanne Biundo

Browse the full IJCAI paper archive.