Algebraic Decision Diagrams and Their Applications.¶

Bahar, R. I., Frohm, E. A., Gaona, C. M., Hachtel, G. D., Macii, E., Pardo, A., & Somenzi, F. (1993). Algebraic Decision Diagrams and Their Applications. Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Type: Conference paper
Intellectual base: Primary research
Year: 1993
DOI: 10.1109/iccad.1993.580054
Link: https://doi.org/10.1109/ICCAD.1993.580054

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Algebraic Decision Diagram
- A fixed variable order constrains the order in which variables may appear along every root-to-terminal path.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:3a8e5669227f · see in the full table