dr Filip Marić

Filip Marić

Selected Publications

Journal papers

Danijela Simić, Filip Marić, Pierre Boutry Formalization of the Poincaré Disc Model of Hyperbolic Geometry, Journal of Automated Resoning, DOI: 10.1007/s10817-020-09551-2, 2020.
Predrag Janičić, Filip Marić, Marko Maliković Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture, Logical Methods in Computer Science, Volume 15, Issue 1, 2019, pp. 34:1–34:37, DOI: 10.23638/LMCS-15(1:34)2019
Filip Marić: Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at most 6 Points, Journal of Automated Reasoning, Volume 62, pp 301–329, 2019. DOI: 10.1007/s10817-017-9423-7
Filip Marić: A Survey of Interactive Theorem Proving, Zbornik radova, 18(26), pp. 173-223, 2015.
Filip Marić, Danijela Petrović: Formalizing Complex Plane Geometry. Annals of Mathematics and Artificial Intelligence, Springer, Volume 74, Issue 3, August 2015.

Mirko Stojadinović, Filip Marić: meSAT: Multiple Encodings of CSP to SAT, Constraints, 19(4), 2014.

Filip Marić, Ivan Petrović, Danijela Petrović, Predrag Janičić: Formalization and Implementation of Algebraic Methods in Geometry. In THedu'11, Wrocław, Poland, 2011, Electronic Proceedings in Theoretical Computer Science 79, pp. 63–81.

Mladen Nikolić, Filip Marić, Predrag Janičić: Simple Algorithm Portfolio for SAT, Artificial Intelligence Review, 40(4), 2013.

Filip Marić, Predrag Janičić: Formalization of Abstract State Transition Systems for SAT, Logical Methods in Computer Science, 7(3), 2011.

Filip Marić: Verification of a Modern SAT Solver by Shallow Embedding into Isabelle/HOL, Theoretical Computer Science, 411(50), 2010.
Filip Marić, Predrag Janičić: Formal Correctness Proof for DPLL Procedure, Informatica, 21(1), pp. 57-78, 2010.
Filip Marić: Formalization and Implementation of Modern SAT Solvers, Journal of Automated Reasoning, 43(1), pp.81-119., Springer, 2009.
Milena Vujošević-Janičić, Filip Marić, Dušan Tošić: Using Simplex Method in Verifying Software Safety. YUJOR, 19(1), 2009.

Conference papers

Filip Marić, Predrag Janičić, Marko Maliković: Proving Correctness of a KRK Chess Endgame Strategy by using Isabelle/HOL and Z3. In 25th International Conference on Automated Deduction - CADE 25. Volume 9195 of the series Lecture Notes in Computer Science, pp 256-271.

Filip Marić, Mirko Spasić: Formalization of Incremental Simplex Algorithm by Stepwise Refinement. In FM2012 - 18th International Symposium on Formal Methods. Lecture Notes in Computer Science Volume 7436, pp 434-449, Springer, 2012.

Filip Marić, Miodrag Živković, Bojan Vučković: Formalizing Frankl's Conjecture: FC-families. In Conferences on Intelligent Computer Mathematics (CICM 2012). Calculemus track. Lecture Notes in Computer Science Volume 7362, pp 248-263, Springer, 2012.

Filip Marić, Predrag Janičić: URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR 2010. LNCS 6173. pp.346-352., Springer, 2010.

Mladen Nikolić, Filip Marić, Predrag Janičić: Instance Based Selection of Policies for SAT Solvers, In Theory and Applications of Satisfiability Testing, LNCS 5584, 2009.

Filip Marić, Predrag Janičić: ARGO-LIB: A Generic Platform for Decision Procedures, IJCAR-04, Lecture Notes in Artificial Intelligence, volume 3097, pages 213-217, Springer, 2004. Copyright Springer

Filip Marić, Predrag Janičić: SMT-LIB in XML clothes, Proceedings of the 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2004), Dublin, July 2004. Longer version also available.

Žarko Mijajlović, Boško Jovanović, Filip Marić, Miroslav Marić: MATLAB toolbox for analysis of 3d images, Digitisation Preservation of Cultural Heritage (DPCH) Minisymposium, MASSEE 2003.

Filip Marić, Miroslav Marić, Žarko Mijajlović, Aleksandar Jovanović: Theorem provers based on the quantifier elimination method, ETRAN, 2003. (awarded paper).

Filip Marić, Borovčanin Momčilo, Miroslav Marić: Quantifier elimination in fields, ETRAN, 2004.

Textbooks

Filip Marić, Predrag Janičić: Programiranje 1, Matematički fakultet, Beograd, 2015.

Desanka Radunović, Aleksandar Samardžić, Filip Marić: Numeričke metode, Zbirka zadataka kroz C, Fortran i Matlab, Akademska Misao, Beograd, 2005.

Filip Marić: Informatika, udžbenik za prvi razred gimnazije, Klett, Beograd, 2014.

Filip Marić, Duško Trifunović, Srđan Trajković, Ivan Kljajić, Olivera Gračanin: Informatika, udžbenik za drugi razred gimnazije, Klett, Beograd, 2015.