| Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL F Marić Theoretical Computer Science 411 (50), 4333-4356, 2010 | 84 | 2010 |
| Formalization and implementation of modern SAT solvers F Marić Journal of Automated Reasoning 43 (1), 81-119, 2009 | 79 | 2009 |
| Instance-based selection of policies for SAT solvers M Nikolić, F Marić, P Janičić International Conference on Theory and Applications of Satisfiability …, 2009 | 64 | 2009 |
| Simple algorithm portfolio for SAT M Nikolić, F Marić, P Janičić Artificial Intelligence Review 40 (4), 457-465, 2013 | 50 | 2013 |
| meSAT: multiple encodings of CSP to SAT M Stojadinović, F Marić Constraints 19 (4), 380-403, 2014 | 41 | 2014 |
| Formalization and implementation of algebraic methods in geometry F Marić, I Petrović, D Petrović, P Janičić arXiv preprint arXiv:1202.4831, 2012 | 30 | 2012 |
| Convex iteration for distance-geometric inverse kinematics M Giamou, F Marić, DM Rosen, V Peretroukhin, N Roy, I Petrović, J Kelly IEEE Robotics and Automation Letters 7 (2), 1952-1959, 2022 | 25 | 2022 |
| Formalization of incremental simplex algorithm by stepwise refinement M Spasić, F Marić International Symposium on Formal Methods, 434-449, 2012 | 23 | 2012 |
| Formal correctness proof for DPLL procedure F Marić, P Janičić Informatica 21 (1), 57-78, 2010 | 21 | 2010 |
| Fast manipulability maximization using continuous-time trajectory optimization F Marić, O Limoyo, L Petrović, T Ablett, I Petrović, J Kelly 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019 | 19 | 2019 |
| Formalization of abstract state transition systems for SAT F Maric, P Janicic Logical Methods in Computer Science 7, 2011 | 19 | 2011 |
| Urbiva: Uniform reduction to bit-vector arithmetic F Marić, P Janičić Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 19 | 2010 |
| argo-lib: A Generic Platform for Decision Procedures F Marić, P Janičić International Joint Conference on Automated Reasoning, 213-217, 2004 | 16 | 2004 |
| A survey of interactive theorem proving F Maric Zbornik radova 18 (26), 173-223, 2015 | 15 | 2015 |
| An Alldifferent constraint solver in SMT M Bankovic, F Maric 8th International Workshop on Satisfiability Modulo Theories, 2010 | 15 | 2010 |
| Fast formal proof of the Erdős–Szekeres conjecture for convex polygons with at most 6 points F Marić Journal of Automated Reasoning 62 (3), 301-329, 2019 | 14 | 2019 |
| Robot arm teleoperation via RGBD sensor palm tracking F Marić, I Jurin, I Marković, Z Kalafatić, I Petrović 2016 39th International Convention on Information and Communication …, 2016 | 14 | 2016 |
| Teaching graduate students how to review research articles and respond to reviewer comments M Banković, V Filipović, J Graovac, J Hadži-Purić, AR Hurson, A Kartelj, ... Advances in Computers 116 (1), 1-63, 2020 | 12 | 2020 |
| Formalizing complex plane geometry F Marić, D Petrović Annals of Mathematics and Artificial Intelligence 74 (3), 271-308, 2015 | 12 | 2015 |
| Regression verification for automated evaluation of students programs M Vujošević-Janičić, F Marić Computer Science and Information Systems 17 (1), 205-227, 2020 | 11 | 2020 |
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of Belgrade在 matf.bg.ac.rs 的电子邮件经过验证
