Kůla, V., Kuang, Q., Wang, Y., Wang, Y., & Kuželka, O. (2026). Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 19198–19207. https://doi.org/10.1609/aaai.v40i23.38994