Ralf Rothenberger successfully defended his dissertation titled Satisfiability Thresholds for Non-Uniform Random k-SAT which was supervised by Tobias Friedrich. For this, he was granted a PhD from the Digital Engineering Faculty of the University of Potsdam.
The Algorithm Engineering group congratulates you to this amazing achievement and thanks you for the great time together!
