A Combined Approach for Constraints Over Finite Domains and Arrays

A Combined Approach for Constraints Over Finite Domains and Arrays

Authors
S. Bardin, A. Gotlieb and P. Flener