| Authors | Q. Plazar, M. Acher, S. Bardin and A. Gotlieb |
| Title | Efficient and Complete FD-Solving for Extended Array Constraints |
| Afilliation | Software Engineering |
| Project(s) | The Certus Centre (SFI) |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 2017 |
| Conference Name | Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence |
| Pagination | 1231-1238 |
| Date Published | 08/2017 |
| Publisher | IJCAI |
| DOI | 10.24963/ijcai.2017/171 |
| Citation Key | 25386 |
By thinking constantly about it…
