Истраживачи
Marić, Filip
Година
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2012 | Formalizing Analytic Geometries (✓) | Marić, Filip ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Application of exact and heuristic methods to low autocorrelation binary sequences problem (✓) | Marić, Miroslav R. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Formalizing Frankl's conjecture: FC-families (✓) | Marić, Filip ![]() ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2012 | Formalization and Implementation of Algebraic Methods in Geometry (✓) | Marić, Filip ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Formalization of Abstract State Transition Systems for SAT (✓) | Marić, Filip ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2010 | Formal Correctness Proof for DPLL Procedure (✓) | Marić, Filip ![]() ![]() ![]() ![]() | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (✓) | Marić, Filip ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2010 | An Alldifferent constraint solver in SMT (✓) | Banković, Milan ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2010 | URBiVA: Uniform Reduction to Bit-Vector Arithmetic (✓) | Marić, Filip ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2009 | ТЕX и ЛАТЕX (✓) | Марић, Филип ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2009 | Instance-Based Selection of Policies for SAT Solvers (✓) | Nikolić, Mladen ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2009 | Using simplex method in verifying software safety (✓) | Vujošević Janičić, Milena ![]() ![]() ![]() ![]() ![]() | Научни чланак | 24M24 - Рад у нац. часопису међ. значаја |
2009 | Formalization and implementation of modern SAT solvers (✓) | Marić, Filip ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
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 ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |