Filip Marić
Filip Marić
Faculty of Mathematics, University of Belgrade
Verified email at matf.bg.ac.rs - Homepage
Title
Cited by
Cited by
Year
Formalization and implementation of modern SAT solvers
F Marić
Journal of Automated Reasoning 43 (1), 81-119, 2009
692009
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
F Marić
Theoretical Computer Science 411 (50), 4333-4356, 2010
612010
Instance-based selection of policies for SAT solvers
M Nikolić, F Marić, P Janičić
International Conference on Theory and Applications of Satisfiability …, 2009
562009
meSAT: multiple encodings of CSP to SAT
M Stojadinović, F Marić
Constraints 19 (4), 380-403, 2014
312014
Simple algorithm portfolio for SAT
M Nikolić, F Marić, P Janičić
Artificial Intelligence Review 40 (4), 457-465, 2013
292013
Formalization and implementation of algebraic methods in geometry
F Marić, I Petrović, D Petrović, P Janičić
arXiv preprint arXiv:1202.4831, 2012
242012
URSA: a System for Uniform Reduction to SAT
P Janicic
arXiv preprint arXiv:1012.1255, 2010
212010
Formal correctness proof for DPLL procedure
F Marić, P Janičić
Informatica 21 (1), 57-78, 2010
192010
URBiVA: Uniform reduction to bit-vector arithmetic
F Marić, P Janičić
International Joint Conference on Automated Reasoning, 346-352, 2010
182010
Formalization of incremental simplex algorithm by stepwise refinement
M Spasić, F Marić
International Symposium on Formal Methods, 434-449, 2012
172012
An Alldifferent constraint solver in SMT
M Bankovic, F Maric
8th International Workshop on Satisfiability Modulo Theories, 2010
162010
argo-lib: A generic platform for decision procedures
F Marić, P Janičić
International Joint Conference on Automated Reasoning, 213-217, 2004
152004
Formalization of abstract state transition systems for SAT
F Maric, P Janicic
arXiv preprint arXiv:1108.4368, 2011
142011
A survey of interactive theorem proving
F Maric
Zbornik radova 18 (26), 173-223, 2015
102015
Formalizing Frankl’s conjecture: FC-families
F Marić, M Živković, B Vučković
International Conference on Intelligent Computer Mathematics, 248-263, 2012
102012
Formalizing complex plane geometry
F Marić, D Petrović
Annals of Mathematics and Artificial Intelligence 74 (3-4), 271-308, 2015
92015
Theorem provers based on the quantifier elimination method
F Maric, M Maric, Z Mijajlovic, A Jovanovic
Proc. XLVII ETRAN Conference, Herceg Novi 3, 2003
82003
Researching the self, the other and their relationship in physiotherapy: A theoretical and methodological exploration of autoethnography
F Maric
Auckland University of Technology, 2011
72011
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
72009
Formal verification of modern SAT solvers
F Maric
Archive of formal proofs, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20