Резултати
Назив: | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Остали називи: | Improving SMT solvers using CSP techniques and parallelization techniques | Аутори: | Banković, Milan M. | Ментор: | Marić, Filip | Остала ауторства: | Živković, Miodrag; Janičić, Predrag ; Ognjanović, Zoran | Година: | 2016 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | 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 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |