Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses (Replication Package)
收藏Zenodo2022-08-26 更新2026-06-04 收录
下载链接：
https://zenodo.org/record/7024645
下载链接
链接失效反馈官方服务：
资源简介：
Replication package for the ASE'22 paper "Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses"
提供机构：
Zenodo
创建时间：
2022-08-26
