Mehide, IvoTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2021-04-162021-04-161996ARH Diss.B-248http://hdl.handle.net/10062/71806estrestrictedAccessmagistritöödinformaatikainfotehnoloogiainformaticsinfotechnologyalgoritmiteooriageneetilised algoritmidSAT-probleemdisketidKehtestatavuse probleemi lahendamine geneetiliste algoritmide abilThesis