Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Diplomarbeiten (Archiv)

• Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diplomarbeit Nr. 3289, 2012.