SAtRes    Team

Team

Dominik Schreiber

dominik.schreiber@kit.edu
Office: 208 in 50.34
Phone: +49 721 608-44232

Researchers

Ruben Götz

ruben.goetz@kit.edu
Office: 210 in 50.34

Niccolò Rigi-Luperti

niccolo.rigi-luperti@kit.edu
Office: 210 in 50.34

Student Assistants

NameTopicSupervisor
Nico FröhlichEngineering for GPUs and proofsD. Schreiber

Bachelor / Master Students

NameTopicSupervisor
Anna GörthProofs for Cascading Preprocessing in Distributed SAT (bachelor's thesis)R. Götz, D. Schreiber
Mathis KralProgress Saving in Malleable Distributed SAT Solving (PdF)D. Schreiber
Simon WülkerGraph-based Analysis of Clause-Sharing Proofs (master's thesis)R. Götz, D. Schreiber