Blockwise variable orderings for shared BDDs

This publication has 7 references indexed in Scilit:

• Improving the variable ordering of OBDDs is NP-complete
  IEEE Transactions on Computers, 1996
• NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS
  Parallel Processing Letters, 1993
• The complexity of the optimal variable ordering problems of shared binary decision diagrams
  Published by Springer Nature ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Finding the optimal variable ordering for binary decision diagrams
  IEEE Transactions on Computers, 1990
• Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
  Published by Association for Computing Machinery (ACM) ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986