Predrag Janicic
According to our database^{1},
Predrag Janicic
authored at least 40 papers
between 1999 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org

at orcid.org
On csauthors.net:
Bibliography
2019
ComputerAssisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Logical Methods in Computer Science, 2019
Portfolio theorem proving and prover runtime prediction for geometry.
Ann. Math. Artif. Intell., 2019
2016
Constructibility Classes for Triangle Location Problems.
Mathematics in Computer Science, 2016
2015
Automated Theorem Proving in GeoGebra: Current Achievements.
J. Autom. Reasoning, 2015
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Ann. Math. Artif. Intell., 2015
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.
Proceedings of the Automated Deduction  CADE25, 2015
2014
A Vernacular for Coherent Logic.
Proceedings of the Intelligent Computer Mathematics  International Conference, 2014
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.
Proceedings of the Automated Deduction in Geometry  10th International Workshop, 2014
2013
Proving Correctness of a KRK Chess Endgame Strategy by SATbased Constraint Solving.
ICGA Journal, 2013
Simple algorithm portfolio for SAT.
Artif. Intell. Rev., 2013
2012
The Area Method  A Recapitulation.
J. Autom. Reasoning, 2012
CDCLBased Abstract State Transition System for Coherent Logic.
Proceedings of the Intelligent Computer Mathematics  11th International Conference, 2012
Towards Understanding Triangle Construction Problems.
Proceedings of the Intelligent Computer Mathematics  11th International Conference, 2012
2011
RealWorld Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Atlantis Thinking Machines 2, Atlantis Press, ISBN: 9789491216114, 2011
Formalization and Implementation of Algebraic Methods in Geometry
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
Formalization of Abstract State Transition Systems for SAT
Logical Methods in Computer Science, 2011
2010
Geometry Constructions Language.
J. Autom. Reasoning, 2010
Formal Correctness Proof for DPLL Procedure.
Informatica, Lith. Acad. Sci., 2010
Uniform Reduction to SAT
Logical Methods in Computer Science, 2010
URBiVA: Uniform Reduction to BitVector Arithmetic.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.
Proceedings of the Automated Deduction in Geometry  8th International Workshop, 2010
2009
InstanceBased Selection of Policies for SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2007
Random kGDSat Model and its Phase Transition.
J. UCS, 2007
GeoThms  a Web System for Euclidean Constructive Geometry.
Electr. Notes Theor. Comput. Sci., 2007
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
A Variant of NGram Based Language Classification.
Proceedings of the AI*IA 2007: Artificial Intelligence and HumanOriented Computing, 2007
2006
Simple characterization of functionally complete oneelement sets of propositional connectives.
Math. Log. Q., 2006
nGrambased classification and unsupervised hierarchical clustering of genome sequences.
Computer Methods and Programs in Biomedicine, 2006
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
GCLC  A Tool for Constructive Euclidean Geometry and More Than That.
Proceedings of the Mathematical Software, 2006
System Description: GCLCprover + GeoThms.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
Proceedings of the Automated Deduction in Geometry, 2006
2005
Logical Analysis of Hash Functions.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
argolib: A Generic Platform for Decision Procedures.
Proceedings of the Automated Reasoning  Second International Joint Conference, 2004
2003
Learning Strategies for Mechanised Building of Decision Procedures.
Electr. Notes Theor. Comput. Sci., 2003
WinGCLC: a workbench for formally describing figures.
Proceedings of the 19th Spring Conference on Computer Graphics, 2003
2002
A General Setting for Flexibly Combining and Augmenting Decision Procedures.
J. Autom. Reasoning, 2002
2001
GDSAT model and crossover line.
J. Exp. Theor. Artif. Intell., 2001
On Different Models for Generating Random SAT Problems.
Computers and Artificial Intelligence, 2001
1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
Proceedings of the Automated Deduction, 1999