Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides. Uniform and scalable SAT-sampling for configurable systems. In Roberto Erick Lopez-Herrejon, editor, SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020. ACM, 2020. [doi]
Abstract is missing.