Title
Uniform and scalable SAT-sampling for configurable systems.
Year
DOI
Venue
2020
10.1145/3382025.3414951
SPLC
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Ruben Heradio115517.64
David Fernandez-Amoros2334.74
Jose A. Galindo324821.10
David Benavides443630.52