fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays
- Authors
- S. Bardin and A. Gotlieb
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2012
- Journal
- Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France
- Publisher
- Springer Berlin Heidelberg
- Citation key
- 8764