Dataset for ASE'24 Efficient Slicing of Feature Models via Projected d-DNNF Compilation
收藏官方服务：
资源简介：
This dataset includes various feature models as dimacs. Each dimacs includes a header indicating variables to be projected. The dataset was used for evaluating pd4 within the work Efficient Slicing of Feature Models via Projected d-DNNF Compilation at ASE'24.
提供机构：
Zenodo创建时间：
2024-09-12
