Back to Results
First PageMeta Content
Mathematical logic / Binary decision diagram / Zero-suppressed decision diagram / Boolean function / Model checking / Truth table / Negation / Algebraic structure / Boolean algebra / Mathematics / Abstract algebra


ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology
Add to Reading List

Document Date: 2010-11-01 01:10:45


Open Document

File Size: 534,92 KB

Share Result on Facebook

City

Oxford / /

Country

Japan / /

Facility

Technology Hokkaido University / /

IndustryTerm

logic operation algorithm / intelligent processing / synthesis algorithm / mining / /

Organization

Hokkaido University / Graduate School / /

Technology

BDD-based algorithms / BDD synthesis algorithm / 5 BDD-based logic operation algorithm / Data mining / /

SocialTag