1.
Behnke G. Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning. ICAPS [Internet]. 2021May17 [cited 2024Mar.28];31(1):25-3. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/15943