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