Published July 2025
| Version v1
Dataset
Open
Synthetic pseudo-boolean counting instances
Creators
Description
Synthetic pseudo-boolean model counting instances (modified from existing instances) used in 'On Top-Down Pseudo-Boolean Model Counting'
Files
cost-graph.zip
Files
(212.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5d481371ca0fc0a5577892a02bdb9b61
|
212.3 MB | Preview Download |