EasyChair Smart SlideUser guide
Author: Peter Sanders

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

Engineering Scalable Distributed List Ranking

Engineering Scalable Distributed List Ranking

Peter Sanders, Matthias Schimek, Tim Niklas Uhl and Thomas Weidmann

Scalable SAT Solving in the Cloud

Scalable SAT Solving in the Cloud

Dominik Schreiber and Peter Sanders

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich and Alexander Weigl

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair