Implementation aspects of a BDD package supporting general decision diagrams

lecture, presented at Johannes Kepler University Linz Computer Science Building, Linz, 19. September 2016 (2 hours)

Povzetek

General decision diagram is a loose term for a superset of different types of decision diagrams - we are interested in joining BDDs, FDDs, and different types of suppressed DDs, e.g. ZBDDs. I will present: The current state of our BDD package Biddy (functionalities and details about the original implementation aspects). Our ideas for efficient implementation of ZBDDs (which could be used for all types of suppressed DDs).New type od decision diagrams called ZFDD (somehow symmetric to ZBDD). A rough draft about the implementation of a package supporting general decision diagrams.

Ključne besede

diagrami;odločitveni diagrami;

Podatki

Jezik:	Angleški jezik
Leto izida:	2016
Tipologija:	3.14 - Predavanje na tuji univerzi
Organizacija:	UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
UDK:	004.5
COBISS:	20899606
Št. ogledov:	2173
Št. prenosov:	89
Ocena:	0 (0 glasov)
Metapodatki: