Predrag Janicic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
1999–2015
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CADE | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. | Filip Maric, Predrag Janicic, Marko Malikovic |
| 2012 | AISC | Towards Understanding Triangle Construction Problems. | Vesna Marinkovic, Predrag Janicic |
| 2012 | AISC | CDCL-Based Abstract State Transition System for Coherent Logic. | Mladen Nikolic, Predrag Janicic |
| 2010 | CADE | URBiVA: Uniform Reduction to Bit-Vector Arithmetic. | Filip Maric, Predrag Janicic |
| 2009 | SAT | Instance-Based Selection of Policies for SAT Solvers. | Mladen Nikolic, Filip Maric, Predrag Janicic |
| 2006 | CADE | System Description: GCLCprover + GeoThms. | Predrag Janicic, Pedro Quaresma |
| 2004 | CADE | argo-lib: A Generic Platform for Decision Procedures. | Filip Maric, Predrag Janicic |
| 1999 | CADE | A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. | Predrag Janicic, Alan Bundy, Ian Green |