Sign in
Goal-conflict likelihood assessment based on model counting.
Renzo Degiovanni
Pablo F. Castro
Marcelo Arroyo
Marcelo Ruiz
Nazareno Aguirre
Marcelo F. Frias
Published in:
ICSE (2018)
Keyphrases
</>
model counting
weighted model counting
special case
constraint satisfaction