Petra Hozzová

22 papers A 2B 3C 4Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
From MBQI to Enumerative Instantiation and Back.
CoRR
Marek Danco, Petra Hozzová, Mikolás Janota
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 B conf
Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols.
FMCAD
Petra Hozzová, Nikolaj Bjørner
2025 J jnl
Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols.
CoRR
Petra Hozzová, Nikolaj Bjørner
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 J jnl
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
CoRR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2024 J jnl
Program Synthesis in Saturation.
CoRR
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
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
2023 B conf
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
LPAR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2023 A conf
Program Synthesis in Saturation.
CADE
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
2022 — conf
Getting Saturated with Induction.
Principles of Systems Design
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
2022 — conf
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).
PAAR@IJCAR
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
2021 C conf
Automated Generation of Exam Sheets for Automated Deduction.
CICM
Petra Hozzová, Laura Kovács, Jakob Rath
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
2021 A conf
Integer Induction in Saturation.
CADE
Petra Hozzová, Laura Kovács, Andrei Voronkov
2020 C conf
Induction with Generalization in Superposition Reasoning.
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
2020 J jnl
Towards Higher-order OWL.
Künstliche Intell.
Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura