Algebric Decision Diagrams and Their Applications.

Bahar, R. I., Frohm, E. A., Gaona, C. M., Hachtel, G. D., Macii, E., Pardo, A., & Somenzi, F. (1997). Algebric Decision Diagrams and Their Applications. Formal Methods in System Design, 171-206.

Type

Journal article

Intellectual base

Primary research

Year

1997

DOI

10.1023/a:1008699807402

Link

https://doi.org/10.1023/A:1008699807402

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:8b63bf9237d2 · see in the full table