Uniform and scalable SAT-sampling for configurable systems.

Ruben Heradio, David Fernndez-Amors, Jos A. Galindo, David Benavides

Browse the full SPLC paper archive.