Volgen
Jan Tóth
Jan Tóth
PhD Student, FEE, Czech Technical University in Prague
Geverifieerd e-mailadres voor fel.cvut.cz
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3