Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Järvisalo, Matti (Projektledare)

Avdelningen för datavetenskap

Projekt: Forskningsprojekt

1 resultat
- Titel(fallande)
- Tilldelningsdatum

CP 2017 Distinguished Paper Award
Bacchus, F. (!!Recipient), Hyttinen, A. J. (!!Recipient), Järvisalo, M. (!!Recipient) & Saikko, P. H. A. (!!Recipient), 2017
Pris: Pris och hedersbetygelser