Master Computer Science



The following thesis was written by a student in the 2015-2016 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleRetrograde Analysis and Proof Number Search Applied to Jungle Checkers
StudentVos, M.S. (Michiel)
ProgrammeMaster Computer Science
Year2015-2016
SupervisorsPlaat, prof.dr. A. (Aske)
Kosters, dr. W.A. (Walter)
Thesis Open Thesis PDF

Citation details

Vos, M.S. (Michiel), Retrograde Analysis and Proof Number Search Applied to Jungle Checkers, Thesis Master Computer Science, LIACS, Leiden University, 2016.