Jan Tóth

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Bounded Treewidth

Propositional Formulas

Top Venues

Publications

Jan Tóth, Ondrej Kuzelka
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat. CoRR (2024)
Jan Tóth, Ondrej Kuzelka
Lifted Inference with Linear Order Axiom. AAAI (2023)
Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka
On Discovering Interesting Combinatorial Integer Sequences. CoRR (2023)
Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka
On Discovering Interesting Combinatorial Integer Sequences. IJCAI (2023)
Jan Tóth, Ondrej Kuzelka
Lifted Inference with Linear Order Axiom. CoRR (2022)