Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.

Gregor Behnke, Daniel Hller, Susanne Biundo

Browse the full AAAI paper archive.