search query: @keyword varmenne / total: 14
reference: 1 / 14
« previous | next »
| Author: | Kuuranne, Veli |
| Title: | Toteutumattomuusongelman polynomiset varmenteet |
| Polynomial witnesses of unsatisfiability | |
| Publication type: | Bachelor's thesis |
| Publication year: | 2014 |
| Pages: | 24 Language: fin |
| Department/School: | Tietotekniikan laitos |
| Degree programme: | Tietotekniikan koulutusohjelma |
| Main subject: | (IL3010) |
| Supervisor: | Rousu, Juho |
| Instructor: | Orponen, Pekka |
| Electronic version URL: | http://urn.fi/URN:NBN:fi:aalto-201405281930 |
| Location: | |
| Keywords: | lauselogiikka toteutumattomuus toteutuvuus polynominen varmenne sertifikaatti |
| ED: | 2014-06-01 |
INSSI record number: 49074
+ add basket
« previous | next »
INSSI