Evaluating state-of-the-art # SAT solvers on industrial configuration spaces

Product lines are widely used to manage families of products that share a common base of features. Typically, not every combination (configuration) of features is valid. Feature models are a de facto standard to specify valid configurations and allow standardized analyses on the variability of the u...

Full description