Compiled MCC2021 d-DNNF Circuits

This dataset contains 100 d-DNNF circuits in the <a href="https://github.com/crillab/d4">D4 NNF format</a> (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 <a href="https://zenodo.org/records/10012857">MCC2021</a> (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.