A SAT probléma

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorCzuczor, Gergő
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2017-04-27T11:16:41Z
dc.date.available2017-04-27T11:16:41Z
dc.date.created2017
dc.description.abstractA dolgozat a SAT problémát mutatja be, annak történeti hátterét, illetve az azt megoldó algoritmusokat és a probléma kapcsolatát az egyenletrendszerekkel.hu_HU
dc.description.courseProgramtervező informatikushu_HU
dc.description.degreeMSc/MAhu_HU
dc.format.extent41hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/238631
dc.language.isohuhu_HU
dc.subjectsat, bonyolultság, egyenletrendszerekhu_HU
dc.subject.dspaceDEENK Témalista::Informatikahu_HU
dc.titleA SAT problémahu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)