This page shows all presentations of this author published in EasyChair Smart Slide.
Scalable SAT Solving in the Cloud
Dominik Schreiber and Peter Sanders
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich and Alexander Weigl