Results 201 to 210 of about 2,176 (251)

Cortical regulation of collective social dynamics during environmental challenge. [PDF]

open access: yesNat Neurosci
Raam T   +9 more
europepmc   +1 more source

On the Minimization of (Complete) Ordered Binary Decision Diagrams

Theory of Computing Systems, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Beate Bollig, Bollig Beate
exaly   +3 more sources

Ordered binary decision diagrams and minimal trellises

IEEE Transactions on Computers, 1999
Ordered binary decision diagrams (OBDDs) are graph-based data structures for representing Boolean functions. They have found widespread use in computer-aided design and in formal verification of digital circuits. Minimal trellises are graphical representations of error-correcting codes that play a prominent role in coding theory. This paper establishes
Alexander Vardy
exaly   +2 more sources

Variable ordering algorithms for ordered binary decision diagrams and their evaluation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
Ordered binary decision diagrams (OBDDs) use restricted decision trees with shared subgraphs. The ordering of variables is fixed throughout an OBDD diagram. However, the size of an OBDD is very sensitive to variable ordering, especially for large circuits.
Hironori Fujisawa
exaly   +2 more sources

Home - About - Disclaimer - Privacy