Login / Signup
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
Elias Kuiter
Sebastian Krieter
Chico Sundermann
Thomas Thüm
Gunter Saake
Published in:
Software Engineering (2023)
Keyphrases
</>
semidefinite
objective function
simulated annealing
probabilistic model
text classification
high order
convex optimization
semidefinite programming