# Binary decision diagram

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Review

2009

Review

2009

- International Conference on Future Computer andâ€¦
- 2009

the primary aim of computer science is invention of new data structures and algorithms. Those data structures and algorithmsâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- IEEE Transactions on Reliability
- 2007

We present a network decomposition method using binary decision diagrams (BDD), a state-of-the-art data structure to encode, andâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- PLDI
- 2004

This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approachâ€¦Â (More)

Is this relevant?

2001

2001

- DATE
- 2001

We present methods to generate a Binary Decision Diagram (BDD) with minimum expected path length. A BDD is a generic dataâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- ICCAD
- 1993

The Ordered Binary Decision Diagram OBDI)) has A proven useful in many applications as an e cient data structure for reprtxentingâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- ICCAD
- 1993

Ordered binary decision diagrams ( OBDDS ) are efficient representations of Boolean functions and have been widely used inâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- ICCAD
- 1991

We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDDâ€™s). Inâ€¦Â (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- DAC
- 1990

The efficiency of Boolean function manipulation depends on the form of representation of Boolean functions. Binary Decisionâ€¦Â (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- 24th ACM/IEEE Design Automation Conference
- 1987

The ordered binary decision diagram is a canonical representation for Boolean functions, presented by Bryant as a compactâ€¦Â (More)

Is this relevant?

Highly Cited

1978

Highly Cited

1978

- IEEE Transactions on Computers
- 1978

This paper describes a method for defining, analyzing, testing, and implementing large digital functions by means of a binaryâ€¦Â (More)

Is this relevant?