TY  - RPRT
TI  - Numerical Considerations in Weighted Model Counting
AU  - Randal E. Bryant
PY  - 2025
UR  - https://arxiv.org/abs/2508.06264
ID  - 2508.06264
ER  -