TY  - RPRT
TI  - Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
AU  - Kengo Nakamura
AU  - Masaaki Nishino
AU  - Norihito Yasuda
PY  - 2026
UR  - https://arxiv.org/abs/2601.03523
ID  - 2601.03523
ER  -