Travelled to:1 × Germany
1 × Ireland
1 × Italy
1 × USA
2 × United Kingdom
Collaborated with:F.Maric P.Quaresma M.Malikovic M.Nikolic A.Bundy I.Green
Talks about:procedur (2) decis (2) framework (1) strategi (1) platform (1) descript (1) arithmet (1) uniform (1) theorem (1) isabell (1)
Person: Predrag Janicic
DBLP: Janicic:Predrag
Contributed to:
2015
2010
2009200620041999Wrote 6 papers:
- CADE-2015-MaricJM #correctness #higher-order #proving #using
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (FM, PJ, MM), pp. 256–271.
- IJCAR-2010-MaricJ #named #reduction
- URBiVA: Uniform Reduction to Bit-Vector Arithmetic (FM, PJ), pp. 346–352.
- SAT-2009-NikolicMJ #policy #satisfiability
- Instance-Based Selection of Policies for SAT Solvers (MN, FM, PJ), pp. 326–340.
- IJCAR-2006-JanicicQ
- System Description: GCLCprover + GeoThms (PJ, PQ), pp. 145–150.
- IJCAR-2004-MaricJ #framework #named #platform
- argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.
- CADE-1999-JanicicBG #flexibility #framework #integration #proving #theorem proving
- A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers (PJ, AB, IG), pp. 127–141.