Weighted model counts can be computed with guaranteed decimal precision by a hybrid of floating-point, interval, and rational arithmetic, with a proven rounding bound for nonnegative weights on decision-DNNF formulas.
Lower bounds for exact model counting and applications in probabilistic databases
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
math.NA 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
Numerical Considerations in Weighted Model Counting
Weighted model counts can be computed with guaranteed decimal precision by a hybrid of floating-point, interval, and rational arithmetic, with a proven rounding bound for nonnegative weights on decision-DNNF formulas.