Kůla, V.; Kuang, Q.; Wang, Y.; Wang, Y.; Kuželka, O. Tractable Weighted First-Order Model Counting With Bounded Treewidth Binary Evidence. AAAI 2026, 40, 19198-19207.