Márton Hajdú

According to our database, Márton Hajdú authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Saturating Sorting without Sorts.

Pamina Georgiou, Márton Hajdú, Laura Kovács

CoRR, 2024

Rewriting and Inductive Reasoning.

Márton Hajdú, Laura Kovács, Michael Rawson

CoRR, 2024

2022

The Vampire Approach to Induction (short paper).

Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

Getting Saturated with Induction.

Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov

Proceedings of the Principles of Systems Design, 2022

2021

Inductive Benchmarks for Automated Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Induction with Recursive Definitions in Superposition.

Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Induction with Generalization in Superposition Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020