Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs

  title={Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs},
  author={Edward Daniel Clarke and Masahiro Fujita and Xinsheng Zhao},
Accesion For NTIS CRA&I DTIC TAB Unannounced Justification,^^-, 
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 132 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 62 citations

133 Citations

Citations per Year
Semantic Scholar estimates that this publication has 133 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-9 of 9 references

Introcution to matrix analysis, chapter

  • R. Bellman
  • McGraw-Hill,
  • 1970
1 Excerpt

Fast ofdd based minimization of xed polarity reedmuller expressions Application of boolean algebra to switching circuit design and error detection

  • M. Theobald, B. Becker.
  • IRE Trans .
  • 1954