Releases: SoftVarE-Group/proj-ddnnf-eval
Releases · SoftVarE-Group/proj-ddnnf-eval
Evaluation for ASE24
Replication package of evaluation for Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Replication package of evaluation for Efficient Slicing of Feature Models via Projected d-DNNF Compilation