Efficient and Complete FD-Solving for Extended Array Constraints

Efficient and Complete FD-Solving for Extended Array Constraints

Authors
Q. Plazar, M. Acher, S. Bardin and A. Gotlieb