Uniform and scalable SAT-sampling for configurable systems
- Heradio, R.
- Fernandez-Amoros, D.
- Galindo, J.A.
- Benavides, D.
ISBN: 9781450375696
Année de publication: 2020
Volumen: Part F164267-A
Pages: 108-118
Congreso: Systems and Software Product Lines Conference
Type: Communication dans un congrès