(1)
Schreiber, D.; Pellier, D.; Fiorino, H.; Balyoˇ, T. Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning. ICAPS 2021, 29, 382-390.