Jan T\'oth

Identifiers

• name variant Jan T\'oth 0.60 · backfill

Papers (3)

1. Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat cs.LO · 2024 · author #1
2. On Discovering Interesting Combinatorial Integer Sequences cs.LO · 2023 · author #3
3. Lifted Inference with Linear Order Axiom cs.AI · 2022 · author #1

Mentions

• 2404.12905 #1 · arxiv_oai · confidence 0.70 Jan T\'oth
• 2302.04606 #3 · arxiv_oai · confidence 0.70 Jan T\'oth
• 2211.01164 #1 · arxiv_oai · confidence 0.70 Jan T\'oth

Frequent Coauthors

• Ond\v{r}ej Ku\v{z}elka 3 shared papers
• Martin Svato\v{s} 1 shared papers
• Peter Jung 1 shared papers
• Yuyi Wang 1 shared papers