Quentin Plazar

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Uniform Sampling

Computationally Expensive

Constrained Problems

Top Venues

Publications

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? ICST (2019)
Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
Efficient and Complete FD-solving for extended array constraints. IJCAI (2017)