How Easy is SAT-Based Analysis of a Feature Model?
Abstract
References
Index Terms
- How Easy is SAT-Based Analysis of a Feature Model?
Recommendations
SAT-based analysis of feature models is easy
SPLC '09: Proceedings of the 13th International Software Product Line ConferenceFeature models are a popular variability modeling notation used in product line engineering. Automated analyses of feature models, such as consistency checking and interactive or offline product selection, often rely on translating models to ...
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software EngineeringFeature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses ...
SAT-based analysis of large real-world feature models is easy
SPLC '15: Proceedings of the 19th International Conference on Software Product LineModern conflict-driven clause-learning (CDCL) Boolean SAT solvers provide efficient automatic analysis of real-world feature models (FM) of systems ranging from cars to operating systems. It is well-known that solver-based analysis of real-world FMs ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/799ddba3-a6b2-4163-b20f-f48d7d585b72/3634713.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 92Total Downloads
- Downloads (Last 12 months)92
- Downloads (Last 6 weeks)13
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in