Predrag Janicic

According to our database1, Predrag Janicic authored at least 39 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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 - CADE-25, 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 SAT-based Constraint Solving.
ICGA Journal, 2013

Simple algorithm portfolio for SAT.
Artif. Intell. Rev., 2013

2012
The Area Method - A Recapitulation.
J. Autom. Reasoning, 2012

CDCL-Based 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
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Atlantis Thinking Machines 2, Atlantis Press, ISBN: 978-94-91216-11-4, 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 Bit-Vector 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
Instance-Based Selection of Policies for SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2007
Random k-GD-Sat 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 N-Gram Based Language Classification.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Simple characterization of functionally complete one-element sets of propositional connectives.
Math. Log. Q., 2006

n-Gram-based 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
argo-lib: 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
GD-SAT 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


  Loading...