Binary Decision Graphs

This publication has 10 references indexed in Scilit:

• Evaluation and improvement of Boolean comparison method based on binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Variable ordering and selection of FSM traversal
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Abstract interpretation using typed decision graphs
  Science of Computer Programming, 1998
• A reactive implementation of Pos using ROBDDs
  Published by Springer Nature ,1996
• Groundness analysis for Prolog
  Published by Association for Computing Machinery (ACM) ,1993
• Parametric circuit representation using inductive Boolean functions
  Published by Springer Nature ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• “Memo” Functions and Machine Learning
  Nature, 1968