Efficient and Complete FD-solving for extended array constraints. - Quentin Plazar; Mathieu Acher; Sébastien Bardin; Arnaud Gotlieb (IJCAI, 2017)

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? - Quentin Plazar; Mathieu Acher; Gilles Perrouin; Xavier Devroey; Maxime Cordy (ICST, 2019)