Rezultati
Naziv: | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Ostali nazivi: | Improving SMT solvers using CSP techniques and parallelization techniques | Autori: | Banković, Milan M. | Mentor: | Marić, Filip | Ostala autorstva: | Živković, Miodrag; Janičić, Predrag ; Ognjanović, Zoran | Godina: | 2016 | Publikacija: | Универзитет у Београду | Izdavač: | Универзитет у Београду, Математички факултет | Tip rezultata: | Doktorska disertacija | VBS COBISS: | 48837391 | URI: | https://nardus.mpn.gov.rs/handle/123456789/7996 http://eteze.bg.ac.rs/application/showtheses?thesesId=4878 https://fedorabg.bg.ac.rs/fedora/get/o:15293/bdef:Content/download https://enauka.gov.rs/handle/123456789/195501 |
M-kategorija: | 70M70 - Odbranjena doktorska disertacija |