Efficient and Complete FD-solving for extended array constraints.

Quentin Plazar, Mathieu Acher, Sbastien Bardin, Arnaud Gotlieb

Browse the full IJCAI paper archive.