Uniform and Scalable SAT-Sampling for Configurable Systems - Rubén Heradio; David Fernandez-Amoros; José A. Galindo; David Felipe Benavides Cuevas (Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021], 2021)