Kůla, V. (2026) “Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), pp. 19198–19207. doi: 10.1609/aaai.v40i23.38994.