OBDDimal

The goal of the project "Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations" (OBDDimal, for short) focuses at its core on improving the scalability of binary decision diagrams (BDDs) and related data structures. Domains which would benefit from an increase in scalability are, among others, information visualization (e.g., interactive configurators), model analysis (e.g., feature-model analysis, static code analysis), and logic operations in general (e.g., negation of CNFs).

Student Members, Workers, and Projecteers

  • B.Sc. Sean Duft
  • B.Sc. Marc Lukas
  • M.Sc. Tobias Müller
  • B.Sc. Timo Netzer
  • B.Sc. Konstantin Kistner

Publications & Theses

Publications

2021

1.
T. Heß, C. Sundermann and T. Thüm, "On the Scalability of Building Binary Decision Diagrams for Current Feature Models" in Proc. Int'l Systems and Software Product Line Conf. (SPLC), New York, NY, USA: ACM, Sep. 2021, pp. 131-135.
DOI:10.1145/3461001.3474452
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf

Theses

2022

2.
K. Kistner, "Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams", Bachelor's Thesis, University of Ulm, Germany, Jan. 2022.

2021

1.
T. Netzer, "Development of a Parallelized BDD Library in Rust", Bachelor's Thesis, University of Ulm, Germany, Jul. 2021.
DOI:10.18725/OPARU-39798
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf

Project Lead