Bachelor Informatica



The following thesis was written by a student in the 2021-2022 class of the Bachelor Informatica programme at Leiden University.


Thesis details

TitleSolving Breakthrough Using Binary Decision Diagrams and Retrograde Analysis
StudentVink, E. de
ProgrammeBachelor Informatica
Year2021-2022
Supervisorsdr. A.W. Laarman (first supervisor)
dr. W.A. Kosters (second supervisor)
Thesis Open Thesis PDF

Citation details

Vink, E. de, Solving Breakthrough Using Binary Decision Diagrams and Retrograde Analysis, Thesis Bachelor Informatica, LIACS, Leiden University, 2022.