Equational Binary Decision Diagrams
- 2 July 2002
- book chapter
- Published by Springer Nature
- p. 161-178
- https://doi.org/10.1007/3-540-44404-1_11
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Efficient annotated termsSoftware: Practice and Experience, 2000
- Difference Decision DiagramsPublished by Springer Nature ,1999
- Term Rewriting and All ThatPublished by Cambridge University Press (CUP) ,1998
- BDD based procedures for a theory of equality with uninterpreted functionsPublished by Springer Nature ,1998
- Boolean expression diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1997
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Termination of rewritingJournal of Symbolic Computation, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980