Projekteja vuodessa
Alkuperäiskieli | englanti |
---|---|
Tila | Julkaistu - 10 elok. 2017 |
OKM-julkaisutyyppi | I2 Tieto- ja viestintätekniset sovellukset |
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Projektit
- 2 Päättynyt
-
Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Projektinjohtaja)
01/01/2015 → 31/12/2018
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke
-
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektinjohtaja)
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti