Replication Data for: Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
Description
The code and data instances of the paper published at the ICTAI 2024 conference, "Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness" by Vincent Derkinderen.
The dataset instances are ProbLog programs (text files), and README files (text files) that indicate where to find the additional instances of external sources. The code are python files that were used to perform the experiments in the cited paper.
Resources
| Name |
Format |
Description |
Link |