Tamme, Tõnu, juhendajaLaanemets, RaivoTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2021-08-112021-08-112008ARH Diss. B-19992http://hdl.handle.net/10062/73274estrestrictedAccessbakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologykodeerimisteooriaBoole'i funktsioonidalgoritmidprogrammeerimineDPLL protseduur lahendite loendamiseksThesis