Published December 2024 | Version v1
Dataset Open

Synthetic pseudo-boolean counting benchmarks for projected and incremental counting

Authors/Creators

  • 1. ROR icon University of Toronto

Description

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

Files

description.txt

Files (5.4 GB)

Name Size Download all
md5:6030319d4984664d745950622ef3167f
1.2 kB Preview Download
md5:e430cdde5243260b4cc2cbab547c8b60
4.5 GB Preview Download
md5:830bd89df29c3e952d13abcaa4aa747b
866.4 MB Preview Download
md5:cb084b53640326ddb5c4529b273e0d25
163 Bytes Preview Download