Sylvan: Multi-core Decision Diagrams

2016/01/01

Authors:

DOI: 10.3990/1.9789036541602

Paper

BibTeX entry:

@phdthesis{Dijk16,
 author = {Tom van Dijk},
 doi = {10.3990/1.9789036541602},
 school = {University of Twente, Enschede, Netherlands},
 title = {{Sylvan: Multi-core Decision Diagrams}},
 year = {2016}
}