Tags:
create new tag
view all tags

Binary Decision Diagram

An efficient data structure for representing boolean functions.

The most commongly used BDD today are actually Reduced Order BDD.

This is a version of BDD that maximal share subgraphs.

Paper about ROBDD attached.

-- KrisDeVolder - 09 May 2005

Attachments Attachments
Topic attachments
I Attachment History Action Size Date WhoSorted descending Comment
PDFpdf bdd.pdf r1 manage 301.2 K 2005-05-09 - 14:59 KrisDeVolder . R.E. Bryant. IEEE Transactions on Computing 1986. Graph-Based Algorithms for Boolean Function Manipulation.
Edit | Attach | Watch | Print version | History: r1 | Backlinks | Raw View |  Raw edit | More topic actions
Topic revision: r1 - 2005-05-09 - KrisDeVolder
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback