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
Status
Submitted
Publication type
Journal Article
Year of publication
2014
Journal
journal
Publisher
Springer Berlin Heidelberg
Citation key
8692
Google Scholar BibTex