@ARTICLE{
author={Markovic Jelena,Maric Filip M},
year={2025},
title={Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M},
year={2025},
title={Readable automated proofs of ruler and compass constructions},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Automated triangle constructions in hyperbolic geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={821-849},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Drecun Ivan,Maric Filip M},
year={2021},
title={A Proof System for Graph (Non)-Isomorphism Verification},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={19},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Maric Filip M},
year={2021},
title={Faradzev Read-type enumeration of non-isomorphic CC systems},
journal={COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS},
volume={97},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Simic Danijela,Maric Filip M,Boutry Pierre},
year={2021},
title={Formalization of the Poincare Disc Model of Hyperbolic Geometry},
journal={JOURNAL OF AUTOMATED REASONING},
volume={65},
number={1},
pages={31-73},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Maric Filip M},
year={2020},
title={Regression Verification for Automated Evaluation of Students Programs},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={205-227},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Maric Filip M,Malikovic Marko},
year={2019},
title={Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={15},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M},
year={2019},
title={Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points},
journal={JOURNAL OF AUTOMATED REASONING},
volume={62},
number={3},
pages={301-329},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Petrovic Danijela},
year={2015},
title={Formalizing complex plane geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={74},
number={3-4},
pages={271-308},
document_type={Article},
} 

@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2014},
title={meSAT: multiple encodings of CSP to SAT},
journal={CONSTRAINTS},
volume={19},
number={4},
pages={380-403},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Maric Filip M,Janicic Predrag},
year={2013},
title={Simple algorithm portfolio for SAT},
journal={ARTIFICIAL INTELLIGENCE REVIEW},
volume={40},
number={4},
pages={457-465},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2011},
title={Formalization of Abstract State Transition System for Sat},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={7},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M},
year={2010},
title={Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL},
journal={THEORETICAL COMPUTER SCIENCE},
volume={411},
number={50},
pages={4333-4356},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2010},
title={Formal Correctness Proof for DPLL Procedure},
journal={INFORMATICA},
volume={21},
number={1},
pages={57-78},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M},
year={2009},
title={Formalization and Implementation of Modern SAT Solvers},
journal={JOURNAL OF AUTOMATED REASONING},
volume={43},
number={1},
pages={81-119},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2004},
title={ARGO-LIB: A generic platform for decision procedures},
journal={AUTOMATED REASONING, PROCEEDINGS},
volume={3097},
number={},
pages={213-217},
document_type={Article},
}