Uniform and scalable SAT-sampling for configurable systems
- Heradio, R.
- Fernandez-Amoros, D.
- Galindo, J.A.
- Benavides, D.
ISBN: 9781450375696
Datum der Publikation: 2020
Ausgabe: Part F164267-A
Seiten: 108-118
Kongress: Systems and Software Product Lines Conference
Art: Konferenz-Beitrag