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

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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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.

INIS

Computer Science

Keyphrases

Mathematics