Uniform and scalable SAT-sampling for configurable systems
- Heradio, R.
- Fernandez-Amoros, D.
- Galindo, J.A.
- Benavides, D.
ISBN: 9781450375696
Año de publicación: 2020
Volumen: Part F164267-A
Páginas: 108-118
Congreso: Systems and Software Product Lines Conference
Tipo: Aportación congreso