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
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.