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)
StatusAccepted
Publication TypeProceedings, refereed
Year of Publication2017
Conference NameInt. Joint Conf. on Artificial Intelligence (IJCAI'17), Aug. 2017, Melbourne, Australia.
Date Published08/2017
Citation Key25386

Contact person