PBMC, a search-based top-down counter with a coefficient-aware decision heuristic, counts 1849 of 3500 pseudo-Boolean benchmark instances, outperforming PBCount (1773), PBCounter (1508), and Ganak (1164) under a 3600-second timeout.
Dudek, Vu Hoang Nguyen Phan, and Moshe Y
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On Top-Down Pseudo-Boolean Model Counting
PBMC, a search-based top-down counter with a coefficient-aware decision heuristic, counts 1849 of 3500 pseudo-Boolean benchmark instances, outperforming PBCount (1773), PBCounter (1508), and Ganak (1164) under a 3600-second timeout.