Author:Márton Hajdu

Publications
Sorting Without Sorts Pamina Georgiou, Márton Hajdu and Laura Kovács EasyChair Preprint no. 10632
The Vampire Approach to Induction Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 9217
Induction with Recursive Definitions in Superposition Márton Hajdu, Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 6513
Inductive Benchmarks for Automated Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 5531
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468

Keyphrases

automated reasoning³, automated software verification, automated theorem proving, automating induction, AVATAR architecture, first-order theorem proving⁴, function calls, induction³, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search², software correctness, sorting algorithms, structural induction², superposition, superposition reasoning², superposition-based theorem proving, term algebra², Vampire².