Researchers
Marić, Filip
Results 61-70 of 70
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2010 | Formal Correctness Proof for DPLL Procedure | Marić, Filip   ; Janičić, Predrag | Article | 21aM21a |
| 2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | Article | 22M22 |
| 2010 | An Alldifferent constraint solver in SMT | Banković, Milan ; Marić, Filip | Conference Paper | Mp. category will be shown later |
| 2009 | Instance-Based Selection of Policies for SAT Solvers | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2009 | ТЕX и ЛАТЕX | Марић, Филип | Article | Mp. category will be shown later |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Doctoral theses | 70M70 |
| 2009 | Using simplex method in verifying software safety | Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan | Article | 24M24 |
| 2009 | Formalization and implementation of modern SAT solvers | Marić, Filip | Article | 21M21 |
| 2005 | Numeričke metode : zbirka zadataka kroz C, Fortran i Matlab | Radunović, Desanka P.; Samardžić, Aleksandar B.; Marić, Filip | Text book | Mp. category will be shown later |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Article | 22M22 |