Published July 25, 2022
| Version v2
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-220725.zip
Files
(7.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:68e7384b4d1fc82a2357b1392959c6c5
|
7.2 GB | Preview Download |
Additional details
Related works
- Is compiled by
- Software: https://github.com/ekuiter/tseitin-or-not-tseitin (URL)
- Software: 10.5281/zenodo.6922807 (DOI)