Predrag+Janičić

a Serbian computer scientist and associate professor at Department for Computer Science, Faculty of Mathematics [|University of Belgrade]. His research interests include [|automated reasoning]: [|SAT] and [|SMT], [|automated theorem proving] in [|coherent logic], [|geometry reasoning], and intelligent geometry software.
 * Home * People * Predrag Janičić**
 * [[image:PredragJanicic.jpg link="http://poincare.matf.bg.ac.rs/~janicic/"]] ||~ || **Predrag Janičić**,

Along with Marko Maliković and Mirko Čubrilo, Predrag Janičić proved the correctness of a KRK endgame strategy by SAT-based [|constraint solving], as introduced 2012 at the //Fifth Workshop on Formal and Automated Theorem Proving and Applications//, [|Belgrade], and published 2013 in the ICGA Journal. || toc =Selected Publications=
 * Predrag Janičić ||~ ||^ ||
 * [|Dejan Jovanović], Predrag Janičić (**2005**). //Logical Analysis of Hash Functions//. [|FroCoS 2005], [|pdf]
 * [|Filip Marić], Predrag Janičić (**2010**) //URBiVA: Uniform Reduction to Bit-Vector Arithmetic//. [|IJCAR 2010], [|pdf]
 * Marko Maliković, Mirko Čubrilo, Predrag Janičić (**2012**). //Formal Analysis of Correctness of a Strategy for the KRK Chess Endgame//. [|Fifth Workshop on Formal and Automated Theorem Proving and Applications], [|Belgrade], [|Serbia], [|slides as pdf]
 * Marko Maliković, Predrag Janičić (**2013**). //Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving//. ICGA Journal, Vol. 36, No. 2

=External Links=
 * [|Predrag Janičić - Personal Page]
 * [|Predrag Janicic - Google Scholar Citations]
 * [|GCLC page] by Predrag Janičić

=References= =What links here?= include page="Predrag Janičić" component="backlinks" limit="30"
 * Up one level**