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. 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 [1], and published 2013 in the ICGA Journal [2].
Predrag Janičić [3]

Selected Publications

• 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

1. ^ 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
2. ^ 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
3. ^ Predrag Janičić - Personal Page
4. ^ dblp: Predrag Janicic

What links here?