Finding the optimal variable ordering for binary decision diagrams

This publication has 7 references indexed in Scilit:

• 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
• A new method for verifying sequential circuits
  Published by Association for Computing Machinery (ACM) ,1986
• ACORN: A Local Customization Approach to DCVS Physical Design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Decision Trees and Diagrams
  ACM Computing Surveys, 1982
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959