|
Selected Publications
Journal papers
-
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, to appear, 2011.
- 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ć, Mirko Spasić: Formalization of Incremental Simplex Algorithm by Stepwise Refinement.
In FM2012 - 18th International Symposium on Formal Methods.To appear, 2012.
- Filip Marić, Miodrag Živković, Bojan Vučković: Formalizing
Frankl's Conjecture: FC-families. In Conferences on
Intelligent Computer Mathematics (CICM 2012). Calculemus track. To appear, 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
|
