Published March 3, 2025
| Version v1
Dataset
Open
Benchmarks for Weighted Pseudo-Boolean Counting
Description
Three set of benchmarks used in paper "PBCounter: weighted model counting on pseudo-boolean formulas"
Files
Files
(95.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5f6491fe9eca134131bd62b005bd0a4c
|
95.1 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/laigroup/PBCounter
References
- Lai, Y., Xu, Z. & Yin, M. PBCounter: weighted model counting on pseudo-boolean formulas. Front. Comput. Sci. 19, 193402 (2025). https://doi.org/10.1007/s11704-024-3631-1