Fingerprint
Dive into the research topics of 'Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
46
Citations
(Scopus)
262
Downloads
(Pure)