Projects per year
Projects
- 1 Finished
Search results
-
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
01/09/2014 → 31/08/2019
Project: Research project