Projekteja vuodessa
Projektit
- 1 Aktiivinen
Hakutulokset
-
Aktiivinen
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti