Резултати
| Title: | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Other Titles: | Improving SMT solvers using CSP techniques and parallelization techniques | Authors: | Banković, Milan M. | Supervisor: | Marić, Filip |
Other contributors: | Živković, Miodrag; Janičić, Predrag |
Issue Date: | 2016 | Publication: | Универзитет у Београду | Publisher: | Универзитет у Београду, Математички факултет | Type: | Doctoral theses | 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-category: | 70M70 |