Kombinatoriset pelit ja QBF-ongelma

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorOrponen, Pekka
dc.contributor.authorHentilä, Henri
dc.contributor.departmentTietotekniikan laitosfi
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorRousu, Juho
dc.date.accessioned2015-06-03T05:44:22Z
dc.date.available2015-06-03T05:44:22Z
dc.date.issued2015-04-19
dc.format.extent24
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/16429
dc.identifier.urnURN:NBN:fi:aalto-201506033084
dc.language.isofien
dc.programmeTietotekniikka TIKfi
dc.programme.majorTietojenkäsittelytiedefi
dc.programme.mcodeIL3010fi
dc.subject.keywordQBFfi
dc.subject.keywordPSPACEfi
dc.subject.keywordkombinatoriset pelitfi
dc.titleKombinatoriset pelit ja QBF-ongelmafi
dc.typeG1 Kandidaatintyöfi
dc.type.dcmitypetexten
dc.type.ontasotBachelor's thesisen
dc.type.ontasotKandidaatintyöfi
Files