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

Open in new window