| Formalization and implementation of modern SAT solvers F Marić Journal of Automated Reasoning 43 (1), 81-119, 2009 | 69 | 2009 |
| Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL F Marić Theoretical Computer Science 411 (50), 4333-4356, 2010 | 61 | 2010 |
| Instance-based selection of policies for SAT solvers M Nikolić, F Marić, P Janičić International Conference on Theory and Applications of Satisfiability …, 2009 | 57 | 2009 |
| meSAT: multiple encodings of CSP to SAT M Stojadinović, F Marić Constraints 19 (4), 380-403, 2014 | 33 | 2014 |
| Simple algorithm portfolio for SAT M Nikolić, F Marić, P Janičić Artificial Intelligence Review 40 (4), 457-465, 2013 | 29 | 2013 |
| Formalization and implementation of algebraic methods in geometry F Marić, I Petrović, D Petrović, P Janičić arXiv preprint arXiv:1202.4831, 2012 | 24 | 2012 |
| URSA: a System for Uniform Reduction to SAT P Janicic arXiv preprint arXiv:1012.1255, 2010 | 22 | 2010 |
| Formal correctness proof for DPLL procedure F Marić, P Janičić Informatica 21 (1), 57-78, 2010 | 19 | 2010 |
| URBiVA: Uniform reduction to bit-vector arithmetic F Marić, P Janičić International Joint Conference on Automated Reasoning, 346-352, 2010 | 18 | 2010 |
| Formalization of incremental simplex algorithm by stepwise refinement M Spasić, F Marić International Symposium on Formal Methods, 434-449, 2012 | 16 | 2012 |
| An Alldifferent constraint solver in SMT M Bankovic, F Maric 8th International Workshop on Satisfiability Modulo Theories, 2010 | 16 | 2010 |
| argo-lib: A generic platform for decision procedures F Marić, P Janičić International Joint Conference on Automated Reasoning, 213-217, 2004 | 15 | 2004 |
| Formalization of abstract state transition systems for SAT F Maric, P Janicic arXiv preprint arXiv:1108.4368, 2011 | 14 | 2011 |
| A survey of interactive theorem proving F Maric Zbornik radova 18 (26), 173-223, 2015 | 10 | 2015 |
| Formalizing Frankl’s conjecture: FC-families F Marić, M Živković, B Vučković International Conference on Intelligent Computer Mathematics, 248-263, 2012 | 10 | 2012 |
| Formalizing complex plane geometry F Marić, D Petrović Annals of Mathematics and Artificial Intelligence 74 (3-4), 271-308, 2015 | 9 | 2015 |
| Theorem provers based on the quantifier elimination method F Maric, M Maric, Z Mijajlovic, A Jovanovic Proc. XLVII ETRAN Conference, Herceg Novi 3, 2003 | 8 | 2003 |
| Self-calibration of mobile manipulator kinematic and sensor extrinsic parameters through contact-based interaction O Limoyo, T Ablett, F Marić, L Volpatti, J Kelly 2018 IEEE International Conference on Robotics and Automation (ICRA), 1-8, 2018 | 7 | 2018 |
| Researching the self, the other and their relationship in physiotherapy: A theoretical and methodological exploration of autoethnography F Maric Auckland University of Technology, 2011 | 7 | 2011 |
| Using simplex method in verifying software safety M Vujošević-Janičić, F Marić, D Tošić Yugoslav Journal of Operations Research 19 (1), 133-148, 2009 | 7 | 2009 |
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs
