SibylSat: A Novel Greedy Search Approach to TOHTN Planning Using SAT as an Oracle

SibylSat, a new SAT-based TOHTN planner, leverages a greedy search strategy guided by a heuristic derived from a relaxed problem encoding, leading to improved performance in runtime and plan quality compared to existing breadth-first SAT-based approaches.