Quentin Plazar

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

Mathieu Acher, Gilles Perrouin, Maxime Cordy, 2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).