Results 271 to 280 of about 3,877,335 (299)
Some of the next articles are maybe not open access.
2011
A binary decision diagram is a directed acyclic graph that consists of nodes and edges. It deals with Boolean functions. A binary decision diagram consists of a set of decision nodes, starting at the root node at the top of the decision diagram. Each decision node contains two outgoing branches, one is a high branch and the other is a low branch. These
openaire +1 more source
A binary decision diagram is a directed acyclic graph that consists of nodes and edges. It deals with Boolean functions. A binary decision diagram consists of a set of decision nodes, starting at the root node at the top of the decision diagram. Each decision node contains two outgoing branches, one is a high branch and the other is a low branch. These
openaire +1 more source
On the Minimization of (Complete) Ordered Binary Decision Diagrams
Theory of Computing Systems, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the Width of Ordered Binary Decision Diagrams
2014Ordered binary decision diagrams (OBDDs) are a popular data structure for Boolean functions. One of its complexity measures is the width which has been investigated in several areas in computer science like machine learning, property testing, and the design and analysis of implicit graph algorithms.
openaire +2 more sources
Binary Decision Diagrams Unchained
We introduce Unchained Binary Decision Diagrams (UBDDs), a new variant of Binary Decision Diagrams (BDDs) with a simple but expressive set of edge rules, including complement and swap flags. These new UBDDs are able to exploit generalized forms of common patterns that are only partially supported by existing single-rule BDDs, including BDDs and zero ...Choi, Jaehyeok, Miner, Andrew
openaire +1 more source
Evasiveness Through Binary Decision Diagrams
2023Aransay, Jesús [0000-0002-4079-8307] +2 more
openaire +3 more sources
Adiar Binary Decision Diagrams in External Memory
Lecture Notes in Computer Science, 2022Steffan Sølvsten, Jaco van de Pol
exaly
Symbolic Boolean Manipulation With Ordered Binary-Decision Diagrams
ACM Computing Surveys, 1992Randal Bryant
exaly