Márton Hajdú

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Oblique Decision Trees

Inductive Reasoning

Presburger Arithmetic

Top Venues

Publications

Pamina Georgiou, Márton Hajdú, Laura Kovács
Saturating Sorting without Sorts. LPAR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson
Rewriting and Inductive Reasoning. LPAR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
Reducibility Constraints in Superposition. IJCAR (1) (2024)
Márton Hajdú, Laura Kovács, Michael Rawson
Rewriting and Inductive Reasoning. CoRR (2024)
Pamina Georgiou, Márton Hajdú, Laura Kovács
Saturating Sorting without Sorts. CoRR (2024)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Synthesis of Recursive Programs in Saturation. IJCAR (1) (2024)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) (2024)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. CoRR (2024)
Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
Induction in Saturation. IJCAR (1) (2024)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. Principles of Systems Design (2022)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
The Vampire Approach to Induction (short paper). PAAR@IJCAR (2022)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Inductive Benchmarks for Automated Reasoning. CICM (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov
Induction with Recursive Definitions in Superposition. FMCAD (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Induction with Generalization in Superposition Reasoning. CICM (2020)