Graduate Student, Friedrich-Schiller University of Jena
Benjamin Böhm is a PhD student at University of Jena, supervised by Olaf Beyersdorff. Prior to that, he obtained a Bachelor and Master of Science in Mathematics at University of Jena. His main research interests are proof complexity, focused on QBF solving and QCDCL, and algebraic proof systems.
Extended Reunion: Satisfiability , Spring 2023Visiting Graduate Student
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Graduate Student