Back to Results
First PageMeta Content
Boolean algebra / Algebraic logic / Diagrams / Computability theory / Binary decision diagram / Model checking / Indicator function / Recursion / Function / Mathematics / Mathematical logic / Mathematical analysis


An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a
Add to Reading List

Document Date: 2001-09-30 22:57:32

Open Document

File Size: 114,95 KB

Share Result on Facebook

Company

6 Manipulation / /

Country

United States / /

Currency

pence / /

/

Facility

Computer Engineering Portland State University / EXTRA library / /

IndustryTerm

simplest known solution / cover-product operator / research software / set-union operator / unate product / partial solutions / irredundant sumof-products / implicit algorithms / binate product / /

MarketIndex

PLA / /

Organization

Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical / Portland State University / Portland / /

Position

decision diagram manager / manager / the variable number / manager / manager / the pointer / DD manager / /

ProgrammingLanguage

C / /

ProvinceOrState

Oregon / /

Technology

RAM / irredundant SOP The algorithm / caching / operating system / CAD / /

URL

http /

SocialTag