| 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 |
| 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 |
| 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 |
| 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 |
| Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 3 | 2022 |
| Synthesis of Recursive Programs in Saturation P Hozzová, D Amrollahi, M Hajdu, L Kovács, A Voronkov, EM Wagner EasyChair, 2024 | 1 | 2024 |
| The Vampire Approach to Induction M Hajdu, L Kovács, M Rawson, A Voronkov Practical Aspects of Automated Reasoning, 2022 | 1 | 2022 |
| Saturating Sorting without Sorts P Georgiou, M Hajdu, L Kovács arXiv preprint arXiv:2403.03712, 2024 | | 2024 |
| Rewriting and Inductive Reasoning M Hajdu, L Kovács, M Rawson arXiv preprint arXiv:2402.19199, 2024 | | 2024 |
| Reducibility Constraints in Superposition M Hajdu, L Kovács, M Rawson, A Voronkov EasyChair, 2024 | | 2024 |
| The Vampire Approach to Induction (short paper) M Hajdu, L Kovacs, M Rawson, A Voronkov # PLACEHOLDER_PARENT_METADATA_VALUE# 3201, 2022 | | 2022 |
| Automating inductive reasoning with recursive functions M Hajdu Wien, 2021 | | 2021 |
