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.
Andrews and Sarah J
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NA 1years
2025 1verdicts
CONDITIONAL 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.