BCSat

T. Junttila

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

    AlkuperäiskieliEnglanti
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

    Tutkimusalat

    • Boolean circuits
    • satisfiability checking

    Muut tiedostot ja linkit

    Siteeraa tätä