본 논문은 4목 게임에 대한 강력한 해법을 탐색 기반 방법이 아닌, 이진 의사 결정 다이어그램(BDD) 기반의 기호적 탐색 방법을 이용하여 룩업 테이블 형태로 제시합니다. 기존에는 룩업 테이블 방식의 해법이 비실행 가능하다고 여겨졌으나, 효율적인 구현을 통해 7x6 보드 크기에 대해 89.6GB 크기의 룩업 테이블을 단일 CPU 코어와 128GB 메모리로 47시간 만에 생성했습니다. 이 룩업 테이블은 승/무/패를 평가할 뿐만 아니라, 최속 승리 또는 최장 지연 패배를 위한 알파-베타 탐색 기능도 오픈소스로 제공합니다.