Home * People * Predrag Janičić
PredragJanicic.jpg

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

[4]

External Links


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?


Up one level