Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.

Songtuan Lin, Gregor Behnke, Pascal Bercher

Browse the full ECAI paper archive.