Václav Kula

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

Collaborative distances:

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

2025

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

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

CoRR, November, 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