EasyChair Smart SlideDocs/Log in
Author: Lorenz Leutgeb

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

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Lorenz Leutgeb, Georg Moser and Florian Zuleger

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

Martin Bromberger, Lorenz Leutgeb and Christoph Weidenbach

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