I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Applications of #SAT Solvers on Feature Models:

, In: 15th International Working Conference on Variability Modelling of Software-Intensive Systems,
Sundermann, Chico ; Nieke, Michael ; Bittner, Paul M.... - p. 1-10 , 2021
Link: https://dl.acm.org/doi/10.1145/3442391.3442404