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

TitleA library for BDDs and SDDs
StudentZwart, M. van der
ProgrammeBachelor Informatica
Year2021-2022
Supervisorsdr. A.W. Laarman (first supervisor)
dr. W.A. Kosters (second supervisor)
Thesis Open Thesis PDF

Citation details

Zwart, M. van der, A library for BDDs and SDDs, Thesis Bachelor Informatica, LIACS, Leiden University, 2022.