Václav Kula

According to our database, Václav Kula authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

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

Václav Kula, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations.

Qipeng Kuang, Václav Kula, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang

CoRR, August, 2025