Gregor Behnke, David Speck: Symbolic Search for Optimal Total-Order HTN Planning. AAAI 2021: 11744-11754