In this paper we propose a uniform description of basic BDD theory and algorithms by means of term rewriting. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical forms can be obtained. Various reduction strategies give rise to different algorithms. A layer wise strategy is proposed having the same time complexity as the traditional apply-algorithm, and the lazy strategy is studied, which resembles the existing up-one-algorithm. We show that these algorithms have incomparable performance.
CITATION STYLE
Van de Pol, J., & Zantema, H. (2000). Binary decision diagrams by shared rewriting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1893, pp. 609–618). Springer Verlag. https://doi.org/10.1007/3-540-44612-5_56
Mendeley helps you to discover research relevant for your work.