@article{8692,
  author = {Sebastien Bardin and Arnaud Gotlieb and Pierre Flener},
  title = {A Combined Approach for Constraints Over Finite Domains and Arrays},
  year = {2014},
  journal = {journal},
  publisher = {Springer Berlin Heidelberg},
}