Efficient and Complete FD-solving for extended array constraints

Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb. Efficient and Complete FD-solving for extended array constraints. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 1231-1238, ijcai.org, 2017. [doi]

Authors

Quentin Plazar

This author has not been identified. Look up 'Quentin Plazar' in Google

Mathieu Acher

This author has not been identified. It may be one of the following persons: Look up 'Mathieu Acher' in Google

Sébastien Bardin

This author has not been identified. Look up 'Sébastien Bardin' in Google

Arnaud Gotlieb

This author has not been identified. Look up 'Arnaud Gotlieb' in Google