Compiled MCC2021 d-DNNF Circuits
Description
This dataset contains 100 d-DNNF circuits in the D4 NNF format (i.e. with literals on edges). d-DNNF circuits are propositional logical formulas in deterministic, decomposable, negation normal form. The circuits are obtained using the D4 knowledge compiler on a subset of MCC2021 (Track 2). The id's of the specific subset can be found in the dataset. This dataset was used in the paper "The Gradient of Algebraic Model Counting", published at AAAI2025.
Resources
| Name |
Format |
Description |
Link |