Follow
Filip Marić
Filip Marić
Faculty of Mathematics, University of Belgrade
Verified email at matf.bg.ac.rs - Homepage
Title
Cited by
Cited by
Year
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
F Marić
Theoretical Computer Science 411 (50), 4333-4356, 2010
842010
Formalization and implementation of modern SAT solvers
F Marić
Journal of Automated Reasoning 43 (1), 81-119, 2009
772009
Instance-based selection of policies for SAT solvers
M Nikolić, F Marić, P Janičić
International Conference on Theory and Applications of Satisfiability …, 2009
642009
Simple algorithm portfolio for SAT
M Nikolić, F Marić, P Janičić
Artificial Intelligence Review 40 (4), 457-465, 2013
482013
meSAT: multiple encodings of CSP to SAT
M Stojadinović, F Marić
Constraints 19 (4), 380-403, 2014
412014
Formalization and implementation of algebraic methods in geometry
F Marić, I Petrović, D Petrović, P Janičić
arXiv preprint arXiv:1202.4831, 2012
292012
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
242022
Formalization of incremental simplex algorithm by stepwise refinement
M Spasić, F Marić
International Symposium on Formal Methods, 434-449, 2012
232012
Formal correctness proof for DPLL procedure
F Marić, P Janičić
Informatica 21 (1), 57-78, 2010
212010
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
192019
Formalization of abstract state transition systems for SAT
F Maric, P Janicic
Logical Methods in Computer Science 7, 2011
192011
Urbiva: Uniform reduction to bit-vector arithmetic
F Marić, P Janičić
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
192010
argo-lib: A Generic Platform for Decision Procedures
F Marić, P Janičić
International Joint Conference on Automated Reasoning, 213-217, 2004
162004
An Alldifferent constraint solver in SMT
M Bankovic, F Maric
8th International Workshop on Satisfiability Modulo Theories, 2010
152010
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
142019
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
142016
A survey of interactive theorem proving
F Maric
Zbornik radova 18 (26), 173-223, 2015
142015
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
122020
Formalizing complex plane geometry
F Marić, D Petrović
Annals of Mathematics and Artificial Intelligence 74 (3), 271-308, 2015
122015
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), 4913-4920, 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–20