Резултати
| Назив: | Rešavanje problema CSP tehnikama svođenja na problem SAT | Остали називи: | Solving of constraint satisfaction problems by reduction to SAT | Аутори: | Stojadinović, Mirko S. | Ментор: | Marić, Filip   |
Остала ауторства: | Janičić, Predrag ; Mitić, Nenad ; Nikolić, Mladen ; Vujošević, Mirko |
Година: | 2016 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | Колација: | str. XV, 172 str. | VBS COBISS: | 48835599 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=4888 https://nardus.mpn.gov.rs/handle/123456789/8000 http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=48835599 https://fedorabg.bg.ac.rs/fedora/get/o:15317/bdef:Content/download https://enauka.gov.rs/handle/123456789/559843 |
Пројекат: | Automatsko rezonovanje i istraživanje podataka (RS-174021) | М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM