혼합 정수 선형 프로그램의 글로벌 솔루션을 위한 분해 방법 | Synapse