Acher, Mathieu

1 publications

IJCAI 2017 Efficient and Complete FD-Solving for Extended Array Constraints Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb