Follow
Jan Tóth
Jan Tóth
PhD Student, FEE, Czech Technical University in Prague
Verified email at fel.cvut.cz
Title
Cited by
Cited by
Year
Lifted inference with linear order axiom
J Tóth, O Kuželka
Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 12295 …, 2023
52023
On discovering interesting combinatorial integer sequences
M Svatoš, P Jung, J Tóth, Y Wang, O Kuželka
arXiv preprint arXiv:2302.04606, 2023
32023
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
J Tóth, O Kuželka
arXiv preprint arXiv:2404.12905, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3