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

Projektinformation

StatusSlutfört
Gällande start-/slutdatum01/09/201431/08/2019

Finansiering

  • Unknown funder
  • CP 2017 Distinguished Paper Award

    Bacchus, Fahiem (!!Recipient), Hyttinen, Antti Juhani (!!Recipient), Järvisalo, Matti (!!Recipient) & Saikko, Paul Henrik Alexander (!!Recipient), 2017

    Pris: Pris och hedersbetygelser