Return to Article Details Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning Download Download PDF