Showing results 1 to 20 of 27
next >
| Issue Date | Title | Author(s) | Rank |
| 1-Jan-2017 | 70 years of the mathematical society of Serbia | Andrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle | |
| 1-Jan-2004 | ARGO-LIB: A generic platform for decision procedures | Marić, Filip ; Janičić, Predrag | |
| 1-Dec-2023 | Automated triangle constructions in hyperbolic geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | M22 |
| 1-Jan-2005 | Automatic construction of surface model | Marić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško | |
| 1-Jan-2003 | CCD microscopy - Image analysis by group for intelligent systems (GIS) | Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub | |
| 2021 | Faradžev Read-type enumeration of non-isomorphic CC systems | Banković, Milan; Marić, Filip | M23 |
| 15-Mar-2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points | Marić, Filip | |
| 1-Jan-2010 | Formal correctness proof for dPLL procedure | Marić, Filip ; Janičić, Predrag | |
| 12-Nov-2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | |
| 1-Jun-2009 | Formalization and implementation of modern SAT solvers | Marić, Filip | |
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |
| 13-Sep-2012 | Formalization of incremental simplex algorithm by stepwise refinement | Spasić, Mirko ; Marić, Filip | |
| 1-Jan-2021 | Formalization of the Poincaré Disc Model of Hyperbolic Geometry | Simić, Danijela ; Marić, Filip ; Boutry, Pierre | |
| 17-Aug-2012 | Formalizing Frankl's conjecture: FC-families | Marić, Filip ; Živković, Miodrag; Vučković, Bojan | |
| 30-Oct-2020 | Formalizing IMO problems and solutions in Isabelle/HOL | Marić, Filip ; Stojanović-Ðurdević, Sana | |
| 9-Nov-2009 | Instance-based selection of policies for SAT solvers | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | |
| 1-Jan-2014 | MeSAT: Multiple encodings of CSP to SAT | Stojadinović, Mirko; Marić, Filip | |
| 30-Dec-2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Marinković, Vesna; Šukilović, Tijana ; Marić, Filip | M33 |
| 1-Jan-2019 | On thin air reads: Towards an event structures model of relaxed memory | Janičić, Predrag ; Marić, Filip ; Maliković, Marko | |
| 1-Jan-2015 | Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3 | Marić, Filip ; Janičić, Predrag ; Maliković, Marko | |
