Author:Márton Hajdu

Publications
Rewriting and Inductive Reasoning Márton 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, Márton 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 no. 12145
Reducibility Constraints in Superposition Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 12142
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 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 calculus, superposition reasoning², superposition-based theorem proving, term algebra², theorem proving, Vampire².