Seguir
Jan Tóth
Jan Tóth
PhD Student, FEE, Czech Technical University in Prague
Dirección de correo verificada de fel.cvut.cz
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3