AuthorsQ. Plazar, M. Acher, S. Bardin and A. Gotlieb
TitleEfficient and Complete FD-Solving for Extended Array Constraints
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2017
Conference NameProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Pagination1231-1238
Date Published08/2017
PublisherIJCAI
DOI10.24963/ijcai.2017/171
Citation Key25386

Contact person