Quentin Plazar

According to our database, Quentin Plazar authored at least 2 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2017

Efficient and Complete FD-solving for extended array constraints.

Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017