본 논문은 제약 프로그래밍에서 하위 문제를 단일 테이블 제약으로 변환하는 기법인 tabulation을 자동화하는 새로운 방법인 TabID를 제시합니다. 전문가조차 수동으로 진행하여 시간이 많이 소요되는 기존의 tabulation 과정을 자동화하여 솔버 성능 향상을 목표로 합니다. 다양한 휴리스틱 기법을 통해 tabulation에 적합한 하위 문제를 식별하고, 부적절한 tabulation의 부작용을 줄이기 위한 추가적인 검사를 수행합니다. 기존 문헌의 벤치마크 문제를 사용하여 Minion, Gecode, Chuffed, OR-Tools, Kissat 등 다양한 솔버에서 TabID의 효과를 평가하고, 수동 tabulation과 비교하여 동등하거나 더 나은 결과를 얻음을 보여줍니다.
