SAT-based analysis of feature models is easy

  title={SAT-based analysis of feature models is easy},
  author={Marc{\'i}lio Mendonça and Andrzej Wasowski and Krzysztof Czarnecki},
Feature 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 propositional logic and using satisfiability (SAT) solvers. Efficiency of individual satisfiability-based analyses has been reported previously. We generalize and quantify these studies with a series of independent experiments. We show that previously… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 270 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 174 extracted citations

271 Citations

Citations per Year
Semantic Scholar estimates that this publication has 271 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 45 references

Automated analysis of feature models: challenges ahead

  • D. Batory, D. Benavides, A. Ruiz-Cortes
  • Commun. ACM, 49(12):45–47,
  • 2006
Highly Influential
3 Excerpts

SAT4J: A satisfiability library for Java, 2005

  • D. L. Berre, A. Parrain, O. Roussel, L. Sais
  • http: // php/16…
  • 2005
Highly Influential
3 Excerpts

Benchmarking on the automated analyses of feature models: A preliminary roadmap

  • S. Segura, A. Ruiz-Cortéz
  • Third Int. Workshop on Variability Modeling of…
  • 2009
1 Excerpt

FAMA framework

  • P. Trinidad, D. Benavides, A. Ruiz-Cortes, S. Segura, A. Jimenez
  • Software Product Line Conference, 2008. SPLC ’08…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…