totSAT - Totally-Ordered Hierarchical Planning Through SAT.

Gregor Behnke, Daniel Hller, Susanne Biundo

Browse the full AAAI paper archive.