Ond\v{r}ej Ku\v{z}elka

Identifiers

• name variant Ond\v{r}ej Ku\v{z}elka 0.60 · backfill

Papers (3)

1. Solving Combinatorial Counting Problems with Weighted First-Order Model Counting cs.AI · 2026 · author #5
2. On Knowledge Compilation For Two-Variable First-Order Logic cs.LO · 2026 · author #6
3. A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers cs.LO · 2026 · author #3

Mentions

• 2605.24845 #5 · arxiv_oai · confidence 0.70 Ond\v{r}ej Ku\v{z}elka

Frequent Coauthors

• Yuanhong Wang 3 shared papers
• Juhua Pu 2 shared papers
• Yuyi Wang 2 shared papers
• Astrid Klipfel 1 shared papers
• Hongting Niu 1 shared papers
• Qiaolan Meng 1 shared papers
• Shixin Sun 1 shared papers
• Yi Chang 1 shared papers
• Yuxu Zhou 1 shared papers