Wed, 29.04.2015
Johannes P. Wallner (PhD 2014 from Vienna University of Technology) joins the Constraint Reasoning and Optimization group as a postdoc to work on the project Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting. Welcome, Johannes!
Last updated on 29 Apr 2015 by Matti Järvisalo - Page created on 29 Apr 2015 by Matti Järvisalo