EasyChair Smart SlideDocs/Log in
Author: Philipp Rümmer

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

An SMT-Lib Theory of Heaps

An SMT-Lib Theory of Heaps

Zafer Esen and Philipp Ruemmer

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Peter Backeman, Philipp Rümmer and Aleksandar Zeljić

The next 10^4 UppSAT Approximations

The next 10^4 UppSAT Approximations

Peter Backeman, Aleksandar Zeljić, Philipp Rümmer and Christoph M. Wintersteiger

Exploring Approximations for Floating-Point Arithmetic using UppSAT

Exploring Approximations for Floating-Point Arithmetic using UppSAT

Peter Backeman, Aleksandar Zeljić, Christoph M. Wintersteiger and Philipp Rümmer

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