Václav Kula

According to our database, Václav Kula authored at least 1 paper in 2025.

Collaborative distances:

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

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