SibylSat은 SAT 기반 TOHTN 계획 접근 방식으로, 완화된 문제 풀이에서 얻은 휴리스틱을 사용하여 탐욕적인 검색 전략을 통해 기존의 넓이 우선 검색 방법보다 런타임 및 계획 품질 면에서 뛰어난 성능을 보입니다.
