Master Computer Science



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


Thesis details

TitleCaching in Model Counters: A Journey through Space and Time
StudentRook, Jeroen
ProgrammeMaster Computer Science
Year2020-2021
Supervisorsprof.dr. H.H. Hoos (first supervisor)
dr. S.G.R. Nijssen (second reader)
Thesis Open Thesis PDF

Citation details

Rook, Jeroen, Caching in Model Counters: A Journey through Space and Time, Thesis Master Computer Science, LIACS, Leiden University, 2021.