Predrag Janicic

53 papers A 6C 1Journal 28Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems. CoRR Predrag Janicic
2025	J	`jnl`	Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols. J. Autom. Reason. Predrag Janicic
2023	—	`conf`	Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving. ADG Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux
2023	J	`jnl`	Automated generation of illustrated proofs in geometry and beyond. Ann. Math. Artif. Intell. Predrag Janicic, Julien Narboux
2023	J	`jnl`	Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. Zoltán Kovács, Predrag Janicic
2022	J	`jnl`	Theorem Proving as Constraint Solving with Coherent Logic. J. Autom. Reason. Predrag Janicic, Julien Narboux
2021	—	`conf`	Automated Generation of Illustrations for Synthetic Geometry Proofs. ADG Predrag Janicic, Julien Narboux
2021	—	`ed.`	Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. ADG Predrag Janicic, Zoltán Kovács
2020	J	`jnl`	New dynamics in dynamic geometry: Dragging constructed points. J. Symb. Comput. Milica Selakovic, Vesna Marinkovic, Predrag Janicic
2019	J	`jnl`	Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. Log. Methods Comput. Sci. Predrag Janicic, Filip Maric, Marko Malikovic
2019	J	`jnl`	Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
2018	J	`jnl`	Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. CoRR Predrag Janicic, Filip Maric, Marko Malikovic
2016	J	`jnl`	Constructibility Classes for Triangle Location Problems. Math. Comput. Sci. Pascal Schreck, Vesna Marinkovic, Predrag Janicic
2015	J	`jnl`	Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
2015	J	`jnl`	Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. Ann. Math. Artif. Intell. Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic
2015	A	`conf`	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. CADE Filip Maric, Predrag Janicic, Marko Malikovic
2014	C	`conf`	A Vernacular for Coherent Logic. CICM Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
2014	J	`jnl`	A Vernacular for Coherent Logic. CoRR Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
2014	—	`conf`	Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG Vesna Marinkovic, Predrag Janicic, Pascal Schreck
2013	J	`jnl`	Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving. ICGA J. Marko Malikovic, Predrag Janicic
2013	J	`jnl`	Simple algorithm portfolio for SAT. Artif. Intell. Rev. Mladen Nikolic, Filip Maric, Predrag Janicic
2012	—	`conf`	CDCL-Based Abstract State Transition System for Coherent Logic. AISC/MKM/Calculemus Mladen Nikolic, Predrag Janicic
2012	J	`jnl`	The Area Method - A Recapitulation. J. Autom. Reason. Predrag Janicic, Julien Narboux, Pedro Quaresma
2012	J	`jnl`	Towards Understanding Triangle Construction Problems CoRR Vesna Marinkovic, Predrag Janicic
2012	—	`conf`	Towards Understanding Triangle Construction Problems. AISC/MKM/Calculemus Vesna Marinkovic, Predrag Janicic
2011	—	`conf`	Formalization and Implementation of Algebraic Methods in Geometry ThEdu Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
2011	J	`jnl`	Formalization of Abstract State Transition Systems for SAT Log. Methods Comput. Sci. Filip Maric, Predrag Janicic
2011	—	`book`	Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference Ben Goertzel, Nil Geisweiller, Lúcio de Souza Coelho, Predrag Janicic, Cassio Pennachin
2011	J	`jnl`	Simple Algorithm Portfolio for SAT CoRR Mladen Nikolic, Filip Maric, Predrag Janicic
2010	—	`conf`	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry Sana Stojanovic, Vesna Pavlovic, Predrag Janicic
2010	J	`jnl`	Formal Correctness Proof for DPLL Procedure. Informatica Filip Maric, Predrag Janicic
2010	J	`jnl`	Geometry Constructions Language. J. Autom. Reason. Predrag Janicic
2010	A	`conf`	URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR Filip Maric, Predrag Janicic
2010	J	`jnl`	Uniform Reduction to SAT Log. Methods Comput. Sci. Predrag Janicic
2009	A	`conf`	Instance-Based Selection of Policies for SAT Solvers. SAT Mladen Nikolic, Filip Maric, Predrag Janicic
2007	—	`conf`	A Variant of N-Gram Based Language Classification. AI*IA Andrija Tomovic, Predrag Janicic
2007	—	`conf`	Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM Predrag Janicic, Alan Bundy
2007	J	`jnl`	Random k-GD-Sat Model and its Phase Transition. J. Univers. Comput. Sci. Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic
2006	—	`conf`	Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry Predrag Janicic, Pedro Quaresma
2006	—	`conf`	GCLC - A Tool for Constructive Euclidean Geometry and More Than That. ICMS Predrag Janicic
2006	—	`conf`	GeoThms - a Web System for Euclidean Constructive Geometry. UITP@FLoC Pedro Quaresma, Predrag Janicic
2006	—	`conf`	Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM Pedro Quaresma, Predrag Janicic
2006	J	`jnl`	Simple characterization of functionally complete one-element sets of propositional connectives. Math. Log. Q. Petar Maksimovic, Predrag Janicic
2006	A	`conf`	System Description: GCLCprover + GeoThms. IJCAR Predrag Janicic, Pedro Quaresma
2006	J	`jnl`	n-Gram-based classification and unsupervised hierarchical clustering of genome sequences. Comput. Methods Programs Biomed. Andrija Tomovic, Predrag Janicic, Vlado Keselj
2005	—	`conf`	Logical Analysis of Hash Functions. FroCoS Dejan Jovanovic, Predrag Janicic
2004	A	`conf`	argo-lib: A Generic Platform for Decision Procedures. IJCAR Filip Maric, Predrag Janicic
2003	—	`conf`	Learning Strategies for Mechanised Building of Decision Procedures. FTP Mateja Jamnik, Predrag Janicic
2003	—	`conf`	WinGCLC: a workbench for formally describing figures. SCCG Predrag Janicic, Ivan Trajkovic
2002	J	`jnl`	A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reason. Predrag Janicic, Alan Bundy
2001	J	`jnl`	GD-SAT model and crossover line. J. Exp. Theor. Artif. Intell. Predrag Janicic
2001	J	`jnl`	On Different Models for Generating Random SAT Problems. Comput. Artif. Intell. Predrag Janicic, Nenad Dedic, Goran Terzic
1999	A	`conf`	A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE Predrag Janicic, Alan Bundy, Ian Green