ΑΙhub.org



Benjamin Böhm



Benjamin Böhm is a PhD student at Friedrich Schiller University Jena under the supervision of Olaf Beyersdorff. His research is focused on proof complexity, in particular of quantified Boolean formulas.







©2021 - Association for the Understanding of Artificial Intelligence


 












©2021 - ROBOTS Association