Toteutumattomuusongelman polynomiset varmenteet

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorOrponen, Pekka 
dc.contributor.authorKuuranne, Veli 
dc.contributor.departmentTietotekniikan laitosfi
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorRousu, Juho 
dc.date.accessioned2014-05-27T10:00:17Z
dc.date.available2014-05-27T10:00:17Z
dc.date.issued2014-04-13 
dc.format.extent24 
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/13171
dc.identifier.urnURN:NBN:fi:aalto-201405281930
dc.language.isofien
dc.programmeTietotekniikka TIKfi
dc.programme.majorTietojenkäsittelytiede
dc.programme.mcodeIL3010fi
dc.subject.keywordlauselogiikkafi
dc.subject.keywordtoteutumattomuusfi
dc.subject.keywordtoteutuvuusfi
dc.subject.keywordpolynominenfi
dc.subject.keywordvarmennefi
dc.subject.keywordsertifikaattifi
dc.titleToteutumattomuusongelman polynomiset varmenteetfi
dc.titlePolynomial witnesses of unsatisfiabilityen
dc.typeG1 Kandidaatintyöfi
dc.type.dcmitypetexten
dc.type.ontasotBachelor's thesisen
dc.type.ontasotKandidaatintyöfi

Files

Collections

[kand] Perustieteiden korkeakoulu / SCI