Uniform and scalable SAT-sampling for configurable systems

  1. Heradio, R.
  2. Fernandez-Amoros, D.
  3. Galindo, J.A.
  4. Benavides, D.
Aktak:
Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

ISBN: 9781450375696

Argitalpen urtea: 2020

Alea: Part F164267-A

Orrialdeak: 108-118

Biltzarra: Systems and Software Product Lines Conference

Mota: Biltzar ekarpena

DOI: 10.1145/3382025.3414951 GOOGLE SCHOLAR
Datuen iturria: Scopus