SibylSat：SAT をオラクルとして使用し、TOHTN プランニングで貪欲探索を行う

SibylSatは、緩和された問題を解くことで得られたヒューリスティックを使用して、有望な分解を選択的に拡張する、貪欲な最良優先探索戦略を採用した新しいSATベースのTOHTNプランナーであり、既存のSATベースのTOHTNアプローチよりも優れたパフォーマンスを発揮します。