Applications of #SAT Solvers on Feature Models.

Chico Sundermann Michael Nieke Paul Maximilian Bittner Tobias Heß Thomas Thüm Ina Schaefer

Published in: VaMoS (2021)

Keyphrases

sat solvers
constraint satisfaction
sat problem
genetic algorithm
orders of magnitude
search tree
answer sets
randomly generated