Tóth, Jan

2 publications

AAAI 2023 Lifted Inference with Linear Order Axiom Jan Tóth, Ondrej Kuzelka

IJCAI 2023 On Discovering Interesting Combinatorial Integer Sequences Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka