Author:Márton Hajdu

Publications
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³, AVATAR architecture, first-order theorem proving³, induction³, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search², structural induction², superposition, superposition reasoning², term algebra², Vampire².