Induction with generalization in superposition reasoning M Hajdú, P Hozzová, L Kovács, J Schoisswohl, A Voronkov Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 30 | 2020 |
Integer induction in saturation P Hozzová, L Kovács, A Voronkov Automated Deduction – CADE 28 12699, 2021 | 15 | 2021 |
Induction with recursive definitions in superposition M Hajdu, P Hozzová, L Kovács, A Voronkov 2021 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2021 | 14 | 2021 |
Expressive description logic with instantiation metamodelling P Kubincová, J Kµuka, M Homola Fifteenth International Conference on the Principles of Knowledge …, 2016 | 12 | 2016 |
Towards expressive metamodelling with instantiation P Kubincová, J Kl’uka, M Homola 28thInternational Workshop on Description Logics, 233, 2015 | 10 | 2015 |
Inductive benchmarks for automated reasoning M Hajdu, P Hozzová, L Kovács, J Schoisswohl, A Voronkov Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021 | 8 | 2021 |
Automated generation of exam sheets for automated deduction P Hozzová, L Kovács, J Rath International Conference on Intelligent Computer Mathematics, 185-196, 2021 | 5 | 2021 |
Getting saturated with induction M Hajdu, P Hozzová, L Kovács, G Reger, A Voronkov Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 4 | 2022 |
Program synthesis in saturation P Hozzová, L Kovács, C Norman, A Voronkov International Conference on Automated Deduction, 307-324, 2023 | 3 | 2023 |
Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 3 | 2022 |
Higher-Order Description Logics for Metamodelling P Kubincová Comenius University in Bratislava, 2016 | 3 | 2016 |
Synthesis of Recursive Programs in Saturation P Hozzová, D Amrollahi, M Hajdu, L Kovács, A Voronkov, EM Wagner EasyChair, 2024 | 1 | 2024 |
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification P Hozzová, J Bendík, A Nutz, Y Rodeh arXiv preprint arXiv:2402.10174, 2024 | 1 | 2024 |
Mapping between genomes P Kubincová Bachelor thesis, Comenius University, Slovakia Supervised by Broňa Brejová, 2014 | 1 | 2014 |
Integrating Answer Literals with AVATAR for Program Synthesis P Hozzová Proceedings of the 7th and 8th Vampire Workshop 99, 7-14, 2024 | | 2024 |
Reuse of Introduced Symbols in Automatic Theorem Provers M Rawson, M Suda, P Hozzová, G Reger # PLACEHOLDER_PARENT_METADATA_VALUE# 3201, 2022 | | 2022 |
Towards Synthesis in Superposition P Hozzová, L Kovács, A Voronkov EasyChair, 2022 | | 2022 |
Towards higher-order OWL M Homola, J Kµuka, P Hozzová, V Svátek, M Vacura KI-Künstliche Intelligenz 34 (3), 417-421, 2020 | | 2020 |