@ARTICLE{
author={Janicic Predrag},
year={2025},
title={Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols},
journal={JOURNAL OF AUTOMATED REASONING},
volume={69},
number={4},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2024},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2023},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={21-37},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kovacs Zoltan,Janicic Predrag},
year={2023},
title={Formalization of geometry, automated and interactive geometric reasoning},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Editorial Material; Early Access},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2023},
title={Automated generation of illustrated proofs in geometry and beyond},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={797-820},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2022},
title={Theorem Proving as Constraint Solving with Coherent Logic},
journal={JOURNAL OF AUTOMATED REASONING},
volume={66},
number={4},
pages={689-746},
document_type={Article},
} 

@ARTICLE{
author={Selakovic Milica,Marinkovic Vesna,Janicic Predrag},
year={2020},
title={New dynamics in dynamic geometry: Dragging constructed points},
journal={JOURNAL OF SYMBOLIC COMPUTATION},
volume={97},
number={},
pages={3-15},
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={Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag},
year={2019},
title={Portfolio theorem proving and prover runtime prediction for geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={85},
number={2-4},
pages={119-146},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Janicic Predrag,Schreck Pascal},
year={2015},
title={Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={9201},
number={},
pages={72-93},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag,Malikovic Marko},
year={2015},
title={Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3},
journal={AUTOMATED DEDUCTION - CADE-25},
volume={9195},
number={},
pages={256-271},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojanovic-Djurdjevic Sana,Narboux Julien,Janicic Predrag},
year={2015},
title={Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={74},
number={3-4},
pages={249-269},
document_type={Article},
} 

@ARTICLE{
author={Botana Francisco,Hohenwarter Markus,Janicic Predrag,Kovacs Zoltan,Petrovic Ivan,Recio Tomas,Weitzhofer Simon},
year={2015},
title={Automated Theorem Proving in GeoGebra: Current Achievements},
journal={JOURNAL OF AUTOMATED REASONING},
volume={55},
number={1},
pages={39-59},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic Sana N,Narboux Julien,Bezem Marc,Janicic Predrag},
year={2014},
title={A Vernacular for Coherent Logic},
journal={INTELLIGENT COMPUTER MATHEMATICS, CICM 2014},
volume={8543},
number={},
pages={388-403},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Malikovic Marko,Janicic Predrag},
year={2013},
title={Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving},
journal={ICGA JOURNAL},
volume={36},
number={2},
pages={81-99},
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={Janicic Predrag},
year={2012},
title={Ursa: a System for Uniform Reduction to Sat},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={8},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien,Quaresma Pedro},
year={2012},
title={The Area Method A Recapitulation},
journal={JOURNAL OF AUTOMATED REASONING},
volume={48},
number={4},
pages={489-532},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic Sana N,Pavlovic Vesna N,Janicic Predrag},
year={2011},
title={A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={6877},
number={},
pages={201-220},
document_type={Proceedings Paper},
} 

@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,Janicic Predrag},
year={2010},
title={URBiVA: Uniform Reduction to Bit-Vector Arithmetic},
journal={AUTOMATED REASONING},
volume={6173},
number={},
pages={346-352},
document_type={Proceedings Paper},
} 

@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={Janicic Predrag},
year={2010},
title={Geometry Constructions Language},
journal={JOURNAL OF AUTOMATED REASONING},
volume={44},
number={1-2},
pages={3-24},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Maric Filip M,Janicic Predrag},
year={2009},
title={Instance-Based Selection of Policies for SAT Solvers},
journal={THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS},
volume={5584},
number={},
pages={326-340},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Janicic Predrag,Quaresma Pedro},
year={2007},
title={Automatic verification of regular constructions in dynamic geometry systems},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={4869},
number={},
pages={39-51},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Tomasevic Jelena,Janicic Predrag},
year={2007},
title={Random kappa-GD-SAT model and its phase transition},
journal={JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
volume={13},
number={4},
pages={572-591},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Bundy Alan},
year={2007},
title={Automatic synthesis of decision procedures: A case study of ground and linear arithmetic},
journal={Towards Mechanized Mathematical Assistants},
volume={4573},
number={},
pages={80-93},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maksimovic Petar,Janicic Predrag},
year={2006},
title={Simple characterization of functionally complete one-element sets of propositional connectives},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={52},
number={5},
pages={498-504},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag},
year={2006},
title={GCLC - A tool for constructive euclidean geometry and more than that},
journal={MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS},
volume={4151},
number={},
pages={58-73},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Quaresma Pedro},
year={2006},
title={System description: GCLCprover plus GeoThms},
journal={AUTOMATED REASONING, PROCEEDINGS},
volume={4130},
number={},
pages={145-150},
document_type={Article},
} 

@ARTICLE{
author={Quaresma Pedro,Janicic Predrag},
year={2006},
title={Integrating dynamic geometry software, deduction systems, and theorem repositories},
journal={MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS},
volume={4108},
number={},
pages={280-294},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Andrija,Janicic Predrag,Keselj V},
year={2006},
title={n-Gram-based classification and unsupervised hierarchical clustering of genome sequences},
journal={COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE},
volume={81},
number={2},
pages={137-153},
document_type={Article},
} 

@ARTICLE{
author={Jovanovic Dejan,Janicic Predrag},
year={2005},
title={Logical analysis of hash functions},
journal={FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS},
volume={3717},
number={},
pages={200-215},
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},
} 

@ARTICLE{
author={Janicic Predrag,Bundy Alan},
year={2002},
title={A general setting for flexibly combining and augmenting decision procedures},
journal={JOURNAL OF AUTOMATED REASONING},
volume={28},
number={3},
pages={257-305},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Dedic N,Terzic Goran},
year={2001},
title={On different models for generating random SAT problems},
journal={COMPUTING AND INFORMATICS},
volume={20},
number={5},
pages={451-469},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag},
year={2001},
title={GD-SAT model and crossover line},
journal={JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE},
volume={13},
number={3},
pages={181-198},
document_type={Article},
}