Compiled MCC2021 d-DNNF Circuits
收藏DataCite Commons2025-03-25 更新2025-04-16 收录
下载链接：
https://rdr.kuleuven.be/citation?persistentId=doi:10.48804/MQLU85
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
KU Leuven RDR
创建时间：
2024-12-16
