Published July 28, 2022
| Version v3
Dataset
Open
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses (Replication Package)
Authors/Creators
- 1. Otto-von-Guericke-University Magdeburg
- 2. University of Ulm
Description
Replication package for the ASE'22 paper "Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses"
Files
export-220728.zip
Additional details
Related works
- Is compiled by
- Software: https://github.com/ekuiter/tseitin-or-not-tseitin (URL)
- Software: 10.5281/zenodo.6922807 (DOI)