Uniform sampling of sat solutions for configurable systems: Are we there yet?

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy
January 2019
Cite
Type
Conference paper
Publication
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)