Projekt per år
Originalspråk | engelska |
---|---|
Utgivningsformat | computer_program |
Status | Publicerad - 2017 |
MoE-publikationstyp | I2 ICT-programvara |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Projekt
- 2 Slutfört
-
Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Projektledare)
01/01/2015 → 31/12/2018
Projekt: Helsingfors Universitetets treåriga forskningsprojekt
-
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektledare)
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt