EasyChair Smart SlideDocs/Log in
Author: Peter Backeman

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

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: 3
Copyright © 2002 – 2024 EasyChair