Variance Computation for Weighted Model Counting with Knowledge Compilation Approach.

Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

Browse the full AAAI paper archive.