Istraživači
Marić, Filip
Godina
Rezultati 61-68 od 68
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2010 | An Alldifferent constraint solver in SMT | Banković, Milan   ; Marić, Filip | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Instance-Based Selection of Policies for SAT Solvers | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2009 | ТЕX и ЛАТЕX | Марић, Филип | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2009 | Formalization and implementation of modern SAT solvers | Marić, Filip | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2009 | Using simplex method in verifying software safety | Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan | Naučni članak | 24M24 - Vodeći nacionalni časopis kategorije M24 |
| 2005 | Numeričke metode : zbirka zadataka kroz C, Fortran i Matlab | Radunović, Desanka P.; Samardžić, Aleksandar B.; Marić, Filip | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |