Nakamura, K.; Nishino, M.; Yasuda, N. Variance Computation for Weighted Model Counting With Knowledge Compilation Approach. AAAI 2026, 40, 19312-19320.