EasyChair Smart SlideDocs/Log in
Author: Laura Kovács

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

SAT-Based Subsumption Resolution

SAT-Based Subsumption Resolution

Robin Coutelier, Laura Kovacs, Michael Rawson and Jakob Rath

Refining Unification with Abstraction

Refining Unification with Abstraction

Johannes Schoisswohl, Laura Kovacs, Konstantin Korovin and Ahmed Bhayat

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

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Bernhard Gleiss, Laura Kovács and Jakob Rath

Loop Analysis by Quantification over Iterations

Loop Analysis by Quantification over Iterations

Simon Robillard, Bernhard Gleiss and Laura Kovács

First-Order Interpolation and Interpolating Proofs Systems

First-Order Interpolation and Interpolating Proofs Systems

Laura Kovács and Andrei Voronkov

A FOOLish Encoding of the Next State Relations of Imperative Programs

A FOOLish Encoding of the Next State Relations of Imperative Programs

Evgenii Kotelnikov, Laura Kovacs and Andrei Voronkov

Presentations in this collection: 9
Copyright © 2002 – 2025 EasyChair