Home * People * Marko Maliković
marko2012.jpg

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.

He worked on heuristics for solving retrograde chess problems using the interactive theorem prover Coq [1], 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 [2], and published 2013 in the ICGA Journal [3].
Marko Maliković on KRK [4]

Selected Publications

2008 ...

2010 ...


External Links


References

  1. ^ Marko Maliković (2008). Developing Heuristics for Solving Retrograde Chess Problems. Seminar on Formal Methods and Applications, Varaždin, Croatia
  2. ^ 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
  3. ^ 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
  4. ^ Ph.D. Marko Maliković
  5. ^ Coq from Wikipedia
  6. ^ Boolean satisfiability problem from Wikipedia

What links here?


Up one level