DPLL protseduur lahendite loendamiseks

dc.contributor.advisor	Tamme, Tõnu, juhendaja
dc.contributor.author	Laanemets, Raivo
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.contributor.other	Tartu Ülikool. Arvutiteaduse instituut	et
dc.date.accessioned	2021-08-11T08:35:09Z
dc.date.available	2021-08-11T08:35:09Z
dc.date.issued	2008
dc.description.uri	https://www.ester.ee/record=b5433465*est	et
dc.identifier.other	ARH Diss. B-19992
dc.identifier.uri	http://hdl.handle.net/10062/73274
dc.language.iso	est	et
dc.publisher	Tartu Ülikool	et
dc.rights	restrictedAccess	et
dc.subject.other	bakalaureusetööd	et
dc.subject.other	informaatika	et
dc.subject.other	infotehnoloogia	et
dc.subject.other	informatics	et
dc.subject.other	infotechnology	et
dc.subject.other	kodeerimisteooria	et
dc.subject.other	Boole'i funktsioonid	et
dc.subject.other	algoritmid	et
dc.subject.other	programmeerimine	et
dc.title	DPLL protseduur lahendite loendamiseks	et
dc.type	Thesis	et

Files

Now showing 1 - 2 of 2

Now showing 1 - 1 of 1