Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems 2020
DOI: 10.1145/3377024.3377025
|View full text |Cite
|
Sign up to set email alerts
|

Evaluating #SAT solvers on industrial feature models

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
29
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
4
2
1

Relationship

2
5

Authors

Journals

citations
Cited by 28 publications
(29 citation statements)
references
References 31 publications
0
29
0
Order By: Relevance
“…In recent work, we tried to create a BDD for hundreds of large feature models and failed for 98% of them (i.e., 100% of models having more than 550 features) [80]. Furthermore, even though other knowledge compilation techniques scaled to many large feature models, not a single knowledge compilation tool scaled to Linux when we tried to compute the number of valid configurations [80]. Similarly, t-wise sampling algorithms typically do not scale to Linux [69].…”
Section: Motivationmentioning
confidence: 99%
See 3 more Smart Citations
“…In recent work, we tried to create a BDD for hundreds of large feature models and failed for 98% of them (i.e., 100% of models having more than 550 features) [80]. Furthermore, even though other knowledge compilation techniques scaled to many large feature models, not a single knowledge compilation tool scaled to Linux when we tried to compute the number of valid configurations [80]. Similarly, t-wise sampling algorithms typically do not scale to Linux [69].…”
Section: Motivationmentioning
confidence: 99%
“…Second, there is a considerable amount of research that is based on the translation of the feature model into a BDD. In the past two decades, researchers proposed the use of BDDs to count the number of valid configurations [8,10,47,61,70,80], to compute feature-model slices [1] and differences [2], for interactive product configuration [44], to check whether product-line artifacts are consistent [29,79], to parse preprocessor-based product lines [41], to simplify preprocessor annotations [91,93], and to lift test-suite generation [15], data-flow analyses [12,13], or model checking [5, 7, 17, 18, 20, 22-25, 43, 90, 91] to product lines. If we aim to apply that research to Linux or similarly complex configuration spaces, it is an open question whether BDDs can be created for them.…”
Section: Motivationmentioning
confidence: 99%
See 2 more Smart Citations
“…The time needed by our modules to provide a solution varies according to the size of the problem [34]. This section evaluates their…”
Section: Scalabilitymentioning
confidence: 99%