@inproceedings{2f1aad00986d4f8f8816198e55e2ab62,
title = "Algorithms for discrete function manipulation",
abstract = "An investigation was made of the analogous graph structure for representing and manipulating discrete variable problems. The authors define the multi-valued decision diagram (MDD), analyze its properties (in particular prove a strong canonical form) and provide algorithms for combining and manipulating MDDs. They give a method for mapping an MDD into an equivalent BDD (binary decision diagrams) which allows them to provide a highly efficient implementation using the previously developed BDD packages. A direct implementation of the MDD structure has also been carried out, but this initial implementation has not yet been tuned to the same extent as the BDDs to allow a reasonable comparison to be made. The authors have used the mapping to BDDs to provide an initial understanding of the limits on the sizes of real problems that can be executed. The results are encouraging.",
author = "Arvind Srinivasan and Timothy Kam and Sharad Malik and Brayton, {Robert K.}",
year = "1990",
language = "English (US)",
isbn = "0818620552",
series = "1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers",
publisher = "Publ by IEEE",
pages = "92--95",
booktitle = "1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers",
note = "1990 IEEE International Conference on Computer-Aided Design - ICCAD-90 ; Conference date: 11-11-1990 Through 15-11-1990",
}