![Mathematical logic / Binary decision diagram / Zero-suppressed decision diagram / Boolean function / Model checking / Truth table / Negation / Algebraic structure / Boolean algebra / Mathematics / Abstract algebra Mathematical logic / Binary decision diagram / Zero-suppressed decision diagram / Boolean function / Model checking / Truth table / Negation / Algebraic structure / Boolean algebra / Mathematics / Abstract algebra](https://www.pdfsearch.io/img/fd13475fcdb31ed46ad88b8e2fc0fbe0.jpg)
| Document Date: 2010-11-01 01:10:45 Open Document File Size: 534,92 KBShare 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 |