Ordered Binary Decision Diagrams and the Davis-Putnam procedure

This publication has 20 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Algebraic decision diagrams and their applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams
  Published by Association for Computing Machinery (ACM) ,1991
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• The Use of Renaming to Improve the Efficiency of Clausal Theorem Proving
  Published by Elsevier ,1990
• Embedding boolean expressions into logic programming
  Journal of Symbolic Computation, 1987
• Application of term rewriting techniques to hardware design verification
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986