HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 reasoning3, automated software verification, automated theorem proving, automating induction, AVATAR architecture, first-order theorem proving4, function calls, induction3, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search2, software correctness, sorting algorithms, structural induction2, superposition, superposition reasoning2, superposition-based theorem proving, term algebra2, Vampire2.

Copyright © 2012-2023 easychair.org. All rights reserved.