AAAI 2026technical0 citations
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
Abstract
One of the most important queries in knowledge compilation is weighted model counting (WMC), which has been applied to probabilistic inference on various models, such as Bayesian networks. In practical situations on inference tasks, the model
BibTeX
@inproceedings{aaai2026_variancecomputat,
title = {Variance Computation for Weighted Model Counting with Knowledge Compilation Approach},
author = {Kengo Nakamura and Masaaki Nishino and Norihito Yasuda},
booktitle = {AAAI 2026},
year = {2026}
}