Истраживачи
Marić, Filip
Type
Date issued
Results 61-68 of 68
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2010 | An Alldifferent constraint solver in SMT | Banković, Milan   ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | ТЕX и ЛАТЕX | Марић, Филип | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2009 | Instance-Based Selection of Policies for SAT Solvers | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Formalization and implementation of modern SAT solvers | Marić, Filip | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2009 | Using simplex method in verifying software safety | Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2005 | Numeričke metode : zbirka zadataka kroz C, Fortran i Matlab | Radunović, Desanka P.; Samardžić, Aleksandar B.; Marić, Filip | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |