| Authors | S. Bardin, A. Gotlieb and P. Flener |
| Title | A Combined Approach for Constraints Over Finite Domains and Arrays |
| Afilliation | Software Engineering, Software Engineering, Software Engineering |
| Project(s) | The Certus Centre (SFI) |
| Status | Submitted |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Journal | journal |
| Publisher | Springer Berlin Heidelberg |
| Citation Key | Simula.simula.2180 |
By thinking constantly about it…