Folgen
Jan Tóth
Jan Tóth
PhD Student, FEE, Czech Technical University in Prague
Bestätigte E-Mail-Adresse bei fel.cvut.cz
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3