25,161
edits
Changes
KRK
,no edit summary
* [[Marko Maliković]], [[Mirko Čubrilo]], [[Predrag Janičić]] ('''2012'''). ''Formal Analysis of Correctness of a Strategy for the KRK Chess Endgame''. [http://argo.matf.bg.ac.rs/events/2012/fatpa2012/fatpa2012.html Fifth Workshop on Formal and Automated Theorem Proving and Applications], [https://en.wikipedia.org/wiki/Belgrade Belgrade], [https://en.wikipedia.org/wiki/Serbia Serbia], [http://argo.matf.bg.ac.rs/events/2012/fatpa2012/slides/MarkoMalikovic.pdf slides as pdf]
* [[Marko Maliković]], [[Predrag Janičić]] ('''2013'''). ''Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving''. [[ICGA Journal#36_2|ICGA Journal, Vol. 36, No. 2]]
* [[Zacharias Georgiou]], [[Evangelos Karountzos]], [[Yaroslav Shkarupa]], [[Matthia Sabatelli]] ('''2016'''). ''A Reinforcement Learning Approach for Solving KRK Chess Endgames''. [https://github.com/paintception/A-Reinforcement-Learning-Approach-for-Solving-Chess-Endgames/blob/master/project_papers/final_paper/reinforcement-learning-approach(2).pdf pdf] <ref>[https://github.com/paintception/A-Reinforcement-Learning-Approach-for-Solving-Chess-Endgames GitHub - paintception/A-Reinforcement-Learning-Approach-for-Solving-Chess-Endgames: Machine Learning - Reinforcement Learning]</ref>
=Forum Posts=
