K. Nakamura, M. Nishino, and N. Yasuda, “Variance Computation for Weighted Model Counting with Knowledge Compilation Approach”, AAAI, vol. 40, no. 23, pp. 19312–19320, Mar. 2026.