Истраживачи
Marić, Filip
Година
Резултати 41-60 од 68
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2018 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике | Шћепановић, Данијела; Лечић-Цветковић, Даница   ; Марић, Филип | Остало | Мп категорија ће бити приказана накнадно. |
| 2018 | An Incremental Simplex Algorithm with Unsatisfiable Core Generation | Marić, Filip ; Spasić, Mirko ; Thiemann, René | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2016 | Информатика 1 - уџбеник за први разред гимназије | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2016 | Информатика 3 - уџбеник за трећи разред гимназије | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | meSAT: Multiple Encodings of CSP to SAT | Stojadinovic, Mirko S; Maric, Filip M | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 | Marić, Filip ; Janičić, Predrag ; Maliković, Marko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Информатика 2 - уџбеник за други разред гимназије | Марић, Филип ; Трајковић, Срђан; Трифуновић, Душко; Кљајић, Иван; Грачанин, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | A Survey of Interactive Theorem Proving | Marić, Filip | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2014 | Formalizing complex plane geometry | Marić, Filip ; Simić, Danijela | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2014 | meSAT: multiple encodings of CSP to SAT | Stojadinović, Mirko; Marić, Filip | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2013 | Simple algorithm portfolio for SAT | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Formalization of Incremental Simplex Algorithm by Stepwise Refinement | Spasić, Mirko ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalizing Analytic Geometries | Marić, Filip ; Petrović, Danijela | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Application of exact and heuristic methods to low autocorrelation binary sequences problem | Marić, Miroslav R. ; Marić, Filip M. ; A. Đenić | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalizing Frankl's conjecture: FC-families | Marić, Filip ; Živković, Miodrag ; Vučković, Bojan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry | Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Formalization of Abstract State Transition Systems for SAT | Marić, Filip ; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | Formal Correctness Proof for DPLL Procedure | Marić, Filip ; Janičić, Predrag | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | URBiVA: Uniform Reduction to Bit-Vector Arithmetic | Marić, Filip ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |