Shared binary decision diagram with attributed edges for efficient Boolean function manipulation

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 1990

Pages: 52-57

Article

DOI: 10.1145/123186.123225

SO-VID: 27007d3e-bf6d-4e5d-a981-326ed183653b

Conference name: Conference proceedings

Conference acronym: DAC '90

Conference number: 1990

Conference location: Orlando, Florida, United States

Conference date: July 24, 1990 - July 27, 1990

Conference sponsor: SIGDA, ACM Special Interest Group on Design Automation

Conference sponsor: IEEE-CS, Computer Society

History

Data availability:

Comments

Comment on this article

scite_

Cited by 13

See all cited by