By proceeding, you agree to our Terms of Use and Privacy Policy.
University Professor
#decisionprocedures #satisfiability
#Europe
Professor Armin Biere is leading the Chair of Computer Architecture at the Albert-Ludwigs-University Freiburg in Germany after 17 years as head of the Institute for Formal Models and Verification at t