Accurate and efficient predicate analysis with binary decision diagrams

This publication has 6 references indexed in Scilit:

• Control CPR
  Published by Association for Computing Machinery (ACM) ,1999
• Gated SSA-based demand-driven symbolic analysis for parallelizing compilers
  Published by Association for Computing Machinery (ACM) ,1995
• Circuit width, register allocation, and ordered binary decision diagrams
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Finding the optimal variable ordering for binary decision diagrams
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986