Petra Hozzová

According to our database, Petra Hozzová authored at least 20 papers between 2020 and 2026.

Collaborative distances:

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

2026

Completeness of Synthesis under Realizability Assumptions using Superposition.

Márton Hajdú, Petra Hozzová, Laura Kovács, Eva Maria Wagner

CoRR, May, 2026

2025

Synthesis Benchmarks for Automated Reasoning.

Petra Hozzová, Márton Hajdú, Laura Kovács, Eva Maria Wagner, Richard Steven Zilincík, Andrei Voronkov

Dataset, August, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

From MBQI to Enumerative Instantiation and Back.

Marek Danco, Petra Hozzová, Mikolás Janota

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Synthesis Benchmarks for Automated Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols.

Petra Hozzová, Nikolaj Bjørner

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

The Vampire Diary.

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Induction in Saturation.

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

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Synthesis of Recursive Programs in Saturation.

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.

Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Program Synthesis in Saturation.

Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).

Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger

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

Automated Generation of Exam Sheets for Automated Deduction.

Petra Hozzová, Laura Kovács, Jakob Rath

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 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

Integer Induction in Saturation.

Petra Hozzová, Laura Kovács, Andrei Voronkov

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Towards Higher-order OWL.

Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura

Künstliche Intell., 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