Evaluating #SAT solvers on industrial feature models.

Chico Sundermann Thomas Thüm Ina Schaefer

Published in: VaMoS (2020)

Keyphrases

sat solvers
probabilistic model
orders of magnitude
industrial applications
genetic algorithm
search space
dynamic programming
relevance feedback
constraint satisfaction
search tree