haku: @keyword sertifikaatti / yhteensä: 16
viite: 1 / 16
« edellinen | seuraava »
Tekijä: | Kuuranne, Veli |
Työn nimi: | Toteutumattomuusongelman polynomiset varmenteet |
Polynomial witnesses of unsatisfiability | |
Julkaisutyyppi: | Kandidaatintyƶ |
Julkaisuvuosi: | 2014 |
Sivut: | 24 Kieli: fin |
Koulu/Laitos/Osasto: | Tietotekniikan laitos |
Koulutusohjelma: | Tietotekniikan koulutusohjelma |
Oppiaine: | (IL3010) |
Valvoja: | Rousu, Juho |
Ohjaaja: | Orponen, Pekka |
Elektroninen julkaisu: | http://urn.fi/URN:NBN:fi:aalto-201405281930 |
Sijainti: | |
Avainsanat: | lauselogiikka toteutumattomuus toteutuvuus polynominen varmenne sertifikaatti |
ED: | 2014-06-01 |
INSSI tietueen numero: 49074
+ lisää koriin
« edellinen | seuraava »
INSSI