EasyChair Smart SlideUser guide
Author: Christoph M. Wintersteiger

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

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: 2
Copyright © 2002 – 2026 EasyChair