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 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models;28th ACM International Systems and Software Product Line Conference;2024-09-02

2. Variability-Aware Differencing with DiffDetective;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

3. IASCAR: Incremental Answer Set Counting by Anytime Refinement;Theory and Practice of Logic Programming;2024-02-21

4. 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

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