본 연구는 SMT 전략 합성 문제를 해결하기 위해 계층화 및 단계화된 몬테카를로 트리 탐색 기법을 제안한다. 이 기법은 전략 공간을 효과적으로 탐색하여 기존 솔버의 성능을 크게 향상시킨다.