Bachelor Thesis BCLR-2016-68

BibliographyGolda, Robert: A Java library for Zero-Suppressed Decision Diagrams.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 68 (2016).
57 pages, english.
CR-SchemaE.2 (Data Storage Representations)
Abstract

On the one hand, decision diagrams are a common means to represent Boolean functions. Since they were first proposed in the 80s, they became more and more popular. They are widely used in circuit optimization and verification and are useful when dealing with combinatorial problems. Zero-Suppressed Decision Diagram (ZDD)s are one type of those diagrams. On the other hand, Java is presently one of the most popular programming languages. Much research was done on each of these two subjects, ZDDs and Java, separately, but not on a combination of both. There is no appropriate library for Java implementing ZDDs. In the course of this thesis such a library was developed and implemented. The thesis describes the basic functionality of decision diagrams and lists particularities regarding the realization of them. Finally, the results of benchmarks for the library in general and the optimizations in particular are presented and discussed.

Full text and
other links
Volltext
Department(s)University of Stuttgart, Institute of Software Technology, Software Reliability and Security
Superviser(s)van Hoorn, Dr. André; Getir, Sinem
Entry dateNovember 16, 2018
   Publ. Computer Science