fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays.

Sbastien Bardin, Arnaud Gotlieb

Browse the full CPAIOR paper archive.