Projects per year
Original language | English |
---|---|
Journal | International Journal of Approximate Reasoning |
Volume | 90 |
Pages (from-to) | 208-225 |
Number of pages | 18 |
ISSN | 0888-613X |
DOIs | |
Publication status | Published - Nov 2017 |
MoE publication type | A1 Journal article-refereed |
Fields of Science
- 113 Computer and information sciences
Projects
- 2 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