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

Publications

10 items

Accepting-Path Counting at the One-Tape $n\log n$ Threshold

2026

Cited

0

Unary Functions, Automorphisms, and Unlabeled First-Order Model Counting

2026

Cited

0

Weighted First-Order Model Counting over Ordered Domains

2026

Cited

0

CombEval: A Framework for Evaluating Combinatorial Counting in Large Language Models

2026

Cited

0

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

Co-authors

8 total

Steven Schockaert

Cardiff University

Professor, Department of Computer Science, KU Leuven

professor, KU Leuven & guestprofessor, Örebro University

Jean Christoph Jung

TU Dortmund University

Víctor Gutiérrez Basulto

Cardiff University

Guy Van den Broeck

Professor and Samueli Fellow, UCLA