이 논문은 제약 프로그래밍(CP) 내에서 시퀀스 변수를 형식화하여 차량 경로 문제(VRP)를 해결하는 새로운 접근 방식을 제시합니다. 기존의 successor 변수 기반 CP 모델이 선택적 방문이나 삽입 기반 휴리스틱을 처리하는 데 어려움을 겪는 문제를 해결하기 위해, 시퀀스 변수를 도입하여 이러한 제약을 극복하고, 삽입 기반 대규모 이웃 탐색(LNS)과 같은 휴리스틱을 지원합니다. 이 논문은 시퀀스 변수의 도메인, 업데이트 연산, 제약 조건에 대한 일관성 수준을 정의하고, 기존 CP 솔버에 통합하기 위한 구현 및 데이터 구조를 설명합니다. 또한, 시퀀스 변수와 차량 경로 지정을 위해 특별히 설계된 전역 제약을 소개하고, Dial-a-Ride 문제에 대한 실험을 통해 모델링 단순화 및 경쟁력 있는 성능을 입증합니다.
