부울 변수가 포함된 혼합 선형 프로그래밍 문제 해결을 위한 반복 알고리즘에서 절단 초평면 합성을 위한 휴리스틱 절차 | Synapse