20.500.12556/DKUM-68831 Implementation aspects of a BDD package supporting general decision diagrams Revisited slides of a lecture given at JKU Linz on September 19th 2016 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. Binary Decision Diagram Zero-suppressed Binary Decision Diagram Boolean function Algorithm BDD package Biddy diagrami odločitveni diagrami true true false Angleški jezik Angleški jezik Neznano 2017-10-25 19:56:32 2017-10-26 07:32:47 2022-08-01 16:21:57 2019-07-11 17:11:53 2016 0 0 85 0000-00-00 NiDoloceno Neobjavljeno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.5 20899606 URN:SI:UM:DK:T90KMGMU gdd-meolic-linz-2016-revisited.pdf gdd-meolic-linz-2016-revisited.pdf 1 E77DEF3631F4FABA7CFB2C51095D641C 77155a887bee2f35b7096220c693c32737f5a2cad54224cffa358fd9c755627d 754ebbb9-7c0f-11eb-bb7a-00155d0001ca 20.500.12556/dkum/ec6b651c-c50e-4bb1-872a-b773edd29bba https://dk.um.si/Dokument.php?lang=slv&id=119871 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0