EasyChair Smart SlideDocs/Log in
Author: Petra Hozzová

This page shows all presentations of this author published in EasyChair Smart Slide.

Synthesis of Recursive Programs in Saturation

Synthesis of Recursive Programs in Saturation

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

Program Synthesis in Saturation

Program Synthesis in Saturation

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

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

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

Induction with Generalization in Superposition Reasoning

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair