Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence.

Vclav Kula, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka

Browse the full AAAI paper archive.