Uniform and scalable SAT-sampling for configurable systems

Heradio, Rubén; Fernández-Amorós, David; Galindo, José A.; Benavides, David

Tipo: Ponencia
Año de Publicación: 2020
Volumen: Part F164267-A
Páginas: 108 - 118
Fuente Nº Citas Fecha Actualización
scopus314-05-2022
Dimensions
PlumX
Altmetric
No exiten datos para esta publicación
# Autor Afiliación
1Heradio, RubénUniversidad Nacional de Educacion a Distancia (Spain)
2Fernández-Amorós, DavidUniversidad Nacional de Educacion a Distancia (Spain)
3Galindo, José A.Universidad de Sevilla (Spain)
4Benavides, DavidUniversidad de Sevilla (Spain)