Learning Centre

Toteutumattomuusongelman polynomiset varmenteet

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Orponen, Pekka
dc.contributor.author Kuuranne, Veli
dc.date.accessioned 2014-05-27T10:00:17Z
dc.date.available 2014-05-27T10:00:17Z
dc.date.issued 2014-04-13
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/13171
dc.format.extent 24
dc.format.mimetype application/pdf en
dc.language.iso fi en
dc.title Toteutumattomuusongelman polynomiset varmenteet fi
dc.title Polynomial witnesses of unsatisfiability en
dc.type G1 Kandidaatintyö fi
dc.contributor.school Perustieteiden korkeakoulu fi
dc.contributor.department Tietotekniikan laitos fi
dc.subject.keyword lauselogiikka fi
dc.subject.keyword toteutumattomuus fi
dc.subject.keyword toteutuvuus fi
dc.subject.keyword polynominen fi
dc.subject.keyword varmenne fi
dc.subject.keyword sertifikaatti fi
dc.identifier.urn URN:NBN:fi:aalto-201405281930
dc.type.dcmitype text en
dc.programme.major Tietojenkäsittelytiede
dc.programme.mcode IL3010 fi
dc.type.ontasot Bachelor's thesis en
dc.type.ontasot Kandidaatintyö fi
dc.contributor.supervisor Rousu, Juho
dc.programme Tietotekniikka TIK fi

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication