@inproceedings {25386,
	title = {Efficient and Complete FD-Solving for Extended Array Constraints},
	journal = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence},
	year = {2017},
	month = {08/2017},
	pages = {1231-1238},
	publisher = {IJCAI},
	doi = {10.24963/ijcai.2017/171},
	author = {Plazar, Quentin and Acher, Mathieu and Bardin, Sebastien and Gotlieb, Arnaud}
}
