Márton Hajdú

23 papers A 2B 3C 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lean on Vampire Proofs (Short Paper).
CoRR
Jonas Bodingbauer, Márton Hajdú, Laura Kovács, Axel Polaczek, Michael Rawson
2025 A conf
Partial Redundancy in Saturation.
CADE
Márton Hajdú, Laura Kovács, Andrei Voronkov
2025 J jnl
Partial Redundancy in Saturation.
CoRR
Márton Hajdú, Laura Kovács, Andrei Voronkov
2025 C conf
Synthesis Benchmarks for Automated Reasoning.
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík
2025 J jnl
Synthesis Benchmarks for Automated Reasoning.
CoRR
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík
2025 A conf
Term Ordering Diagrams.
CADE
Márton Hajdú, Robin Coutelier, Laura Kovács, Andrei Voronkov
2025 J jnl
Term Ordering Diagrams.
CoRR
Márton Hajdú, Robin Coutelier, Laura Kovács, Andrei Voronkov
2025 — conf
The Vampire Diary.
CAV (3)
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2025 J jnl
The Vampire Diary.
CoRR
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2024 J jnl
Getting Saturated with Induction.
CoRR
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
2024 — conf
Induction in Saturation.
IJCAR (1)
Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
2024 — conf
Lemma Discovery and Strategies for Automated Induction.
IJCAR (1)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
2024 — conf
Reducibility Constraints in Superposition.
IJCAR (1)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
2024 B conf
Rewriting and Inductive Reasoning.
LPAR
Márton Hajdú, Laura Kovács, Michael Rawson
2024 J jnl
Rewriting and Inductive Reasoning.
CoRR
Márton Hajdú, Laura Kovács, Michael Rawson
2024 B conf
Saturating Sorting without Sorts.
LPAR
Pamina Georgiou, Márton Hajdú, Laura Kovács
2024 J jnl
Saturating Sorting without Sorts.
CoRR
Pamina Georgiou, Márton Hajdú, Laura Kovács
2024 — conf
Synthesis of Recursive Programs in Saturation.
IJCAR (1)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
2022 — conf
Getting Saturated with Induction.
Principles of Systems Design
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
2022 — conf
The Vampire Approach to Induction (short paper).
PAAR@IJCAR
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
2021 B conf
Induction with Recursive Definitions in Superposition.
FMCAD
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov
2021 C conf
Inductive Benchmarks for Automated Reasoning.
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
2020 C conf
Induction with Generalization in Superposition Reasoning.
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov