대형 언어 모델의 풍부한 세계 지식과 도구 사용 및 추론 능력을 활용하여 여행 계획 문제를 만족 조건 이론(SMT) 문제로 정식화하고 SMT 솔버와 상호작용하여 자동으로 해결할 수 있는 프레임워크를 제안한다.