Back to Results
First PageMeta Content
Directed acyclic graph / Graph / Binary decision diagram / Minor / Path decomposition / Neighbourhood / Graph theory / Mathematics / Tree


Graph-Based Algorithms for Boolean Function Manipulation12 Randal E. Bryant3
Add to Reading List

Document Date: 2012-06-01 10:15:43


Open Document

File Size: 98,82 KB

Share Result on Facebook

City

Pittsburgh / /

Company

Las Vegas NV / /

Event

Reorganization / /

Facility

Carnegie-Mellon University / California Institute of Technology / /

IndustryTerm

reduction algorithm / contact network / combinational logic gate network / combinational logic network / gate operator / canonical sum-of-products / bit-serial processor / digital logic design applications / typical applications / manipulation algorithms / graph algorithms / reduced sum-of-products / parity ladder contact network / integer product / /

NaturalFeature

Shannon / /

Organization

California Institute of Technology / Carnegie-Mellon University / Department of Computer Science / /

Person

mark fields / /

ProgrammingLanguage

Pascal / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

IEEE Transactions on Computers / /

Technology

design verification / graph algorithms / 3 algorithms / Reduction The reduction algorithm / bit-serial processor / manipulation algorithms / /

SocialTag