Author:Márton Hajdu

Publications
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Saturating Sorting without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovács In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
Reducibility Constraints in Superposition Marton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint 12142
Sorting Without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovacs EasyChair Preprint 10632
Sorting Without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovacs EasyChair Preprint 10632
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Inductive Benchmarks for Automated Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5531
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468

Keyphrases

automated inductive reasoning, automated reasoning⁴, automated software verification², automated theorem proving², automating induction, AVATAR architecture, first-order theorem proving⁵, formal methods, function calls, induction⁵, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, program synthesis, recursion, recursive programs, Reducibility constraints, redundancy, rewriting, saturation⁴, saturation based proof search², software correctness, sorting algorithms², structural induction², superposition⁴, superposition-based theorem proving, superposition calculus, superposition reasoning², term algebra², theorem proving, Vampire².