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

> Research article (Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022) · cited 24× · AI/ML

**Wikidata**: [openalex:W4313563518](https://www.wikidata.org/wiki/openalex:W4313563518)  
**Source**: https://4ort.xyz/entity/tseitin-or-not-tseitin-the-impact-of-cnf-transformations-on-feature-model-analyses