ΑΙhub.org



Tomáš Peitl



Tomáš Peitl is a postdoc at TU Wien in Austria, working on quantified Boolean formulas and Boolean satisfiability. Previously he was a postdoc with Olaf Beyersdorff at Friedrich Schiller University in Jena, and obtained his PhD from TU Wien under the supervision of Prof. Stefan Szeider.







©2021 - Association for the Understanding of Artificial Intelligence


 












©2021 - ROBOTS Association