Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomáš Balyo. Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning.
International Conference on Automated Planning and Scheduling, Jul 2019, Berkeley, United States. pp.382-390.
⟨hal-02183036⟩