This page shows all presentations of this author published in EasyChair Smart Slide.
Program Synthesis in Saturation
Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov