haku: @keyword varmenne / yhteensä: 14
viite: 1 / 14
« 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