BIN COUNTS 제약 필터링 기법과 다양한 적용 사례

본 논문은 변수들의 값이 지정된 구간(빈) 안에 들어가는 개수를 세는 BIN_COUNTS 전역 제약을 정의하고, 이를 일반화된 아크 일관성(GAC) 수준으로 정제하는 전용 필터링 알고리즘을 제시한다. 또한 BIN_COUNTS를 이용해 χ² 검정 제약을 구성하고, 학업 커리큘럼 균형화와 간호 인력 배치 문제 등 실용적인 CP 벤치마크에 적용한 실험 결과를 보고한다.

저자: Roberto Rossi, "Ozg"ur Akg"un, Steven Prestwich