SibylSat：利用 SAT 作為預言機，對 TOHTN 規劃執行貪婪搜尋

SibylSat 是一種基於 SAT 的新型 TOHTN 規劃器，它採用貪婪搜尋策略，並利用啟發式方法來選擇有希望的分解，從而提高規劃效率和計劃品質。