Marko+Maliković

a Croatian computer scientist and assistant professor at Faculty of Humanities and Social Sciences, [|University of Rijeka]. His research interests include [|formal systems], [|logic in computer science], [|automatic theorem proving], [|multi-agent systems], [|reasoning] about knowledge, and [|intelligent systems].
 * Home * People * Marko Maliković**
 * [[image:marko2012.jpg link="http://www.ffri.uniri.hr/~marko/index_en.htm"]] ||~ || **Marko Maliković**,

He worked on heuristics for solving retrograde chess problems using the [|interactive theorem prover] [|Coq], and along with Predrag Janičić and Mirko Čubrilo, 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=
 * Marko Maliković on KRK ||~ ||^ ||

2008 ...

 * Marko Maliković (**2008**). //Developing Heuristics for Solving Retrograde Chess Problems//. [|Seminar on Formal Methods and Applications], [|Varaždin], [|Croatia]

2010 ...

 * Marko Maliković, Mirko Čubrilo (**2010**). //[|What Were the Last Moves?]// International Review on Computers and Software
 * Marko Maliković, Mirko Čubrilo (**2010**). //Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System//. Proceedings of 21st Central European Conference on Information and Intelligent Systems, [|Varaždin], [|Croatia]
 * Marko Maliković (**2011**). //Automated Reasoning about Retrograde Chess Problems using Coq//. [|Fourth Workshop on Formal and Automated Theorem Proving and Applications], [|Belgrade], [|Serbia], [|slides as 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=
 * [|Ph.D. Marko Maliković]
 * [|Marko Maliković :: Detalji znanstvenika]
 * [|Dr. Sc. Marko Maliković]

=References= =What links here?= include page="Marko Maliković" component="backlinks" limit="20"
 * Up one level**