Exact ordered binary decision diagram size when representing classes of symmetric functions

This publication has 20 references indexed in Scilit:

• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• The influences of fault type and topology on fault model performance and the implications to test and testable design
  Published by Association for Computing Machinery (ACM) ,1990
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Test pattern generation for sequential MOS circuits by symbolic fault simulation
  Published by Association for Computing Machinery (ACM) ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams
  IEEE Transactions on Computers, 1986
• Simulation of MOS Circuits by Decision Diagrams
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
• Synthesis of Minimal Binary Decision Trees
  IEEE Transactions on Computers, 1979
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963