Sledovat
Jan Tóth
Jan Tóth
PhD Student, FEE, Czech Technical University in Prague
E-mailová adresa ověřena na: fel.cvut.cz
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3