BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Janicic:Predrag

Contributed to:

CADE 20152015
IJCAR 20102010
SAT 20092009
IJCAR 20062006
IJCAR 20042004
CADE 19991999

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.