Projects per year
Projects
- 2 Finished
Search results
-
Finished
Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Project manager)
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
-
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