Ondřej Kuželka
Scholar

Ondřej Kuželka

Google Scholar ID: QWmpgVgAAAAJ
Czech Technical University in Prague
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,016
 
H-index
17
 
i10-index
32
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
Publications
6 items
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
2026
Cited
0
On Knowledge Compilation For Two-Variable First-Order Logic
2026
Cited
0
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
2026
Cited
0
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
2025
Cited
0
Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
2025
Cited
0
Faster Lifting for Ordered Domains with Predecessor Relations
2025
Cited
0
Resume (English only)
Co-authors
24 total
Co-author 1
Co-author 1
Steven Schockaert
Steven Schockaert
Cardiff University
Yuyi Wang
Yuyi Wang
ETH Zurich
Co-author 4
Co-author 4
Jesse Davis
Jesse Davis
Professor, Department of Computer Science, KU Leuven
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8