Synthetic pseudo-boolean counting benchmarks for projected and incremental counting

Name: Synthetic pseudo-boolean counting benchmarks for projected and incremental counting
Creator: University of Toronto
Published: 2024-12-01T00:00:00+08:00

Zenodo2024-12-01 更新2026-04-07 收录

伪布尔模型计数

投影与增量计数基准

数据链接：

https://zenodo.org/doi/10.5281/zenodo.14557331 数据链接链接失效反馈

官方服务：

资源简介：

Benchmarks used in "Towards Projected and Incremental Pseudo-Boolean Model Counting" : https://arxiv.org/abs/2412.14485

提供机构：

University of Toronto

创建时间：

2024-12-01

Synthetic pseudo-boolean counting benchmarks for projected and incremental counting

资源简介：

相关数据集