@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={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={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={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={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={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={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={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},
}