Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses-Reference-Cited by-同舟云学术

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Kuiter Elias¹^ORCID,Krieter Sebastian²^ORCID,Sundermann Chico²,Thüm Thomas²,Saake Gunter³

Affiliation:

1. Otto-von-Guericke-University Magdeburg, Germany

2. University of Ulm, Germany

3. Otto-von-Guericke University Magdeburg, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3556938

Reference123 articles.

1. M. Acher , P. Collet , P. Lahire , and R. B. France . 2011. Slicing Feature Models . In ASE. IEEE , 424–427. M. Acher, P. Collet, P. Lahire, and R. B. France. 2011. Slicing Feature Models. In ASE. IEEE, 424–427.

2. M. Acher P. Heymans P. Collet C. Quinton P. Lahire and P. Merle. 2012. Feature Model Differences. In CAiSE. Springer 629–645. M. Acher P. Heymans P. Collet C. Quinton P. Lahire and P. Merle. 2012. Feature Model Differences. In CAiSE. Springer 629–645.

3. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

4. S. Apel D. Batory C. Kästner and G. Saake. 2013. Feature-Oriented Software Product Lines. Springer. S. Apel D. Batory C. Kästner and G. Saake. 2013. Feature-Oriented Software Product Lines. Springer.

5. Type Safety for Feature-Oriented Product Lines;Apel S.;AUSE,2010

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kfeature: Rendering the Kconfig System into Feature Models;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07

2. On the benefits of knowledge compilation for feature-model analyses;Annals of Mathematics and Artificial Intelligence;2023-11-06

3. Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language;Journal of Systems and Software;2023-10

4. Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas;Qeios;2023-09-25

5. Views on Edits to Variational Software;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28