(untitled)

CU Boulder Research and Innovation Office. (untitled).

Type

Web resource

Intellectual base

Web

Link

https://vivo-cub.colorado.edu/display/pubid_27689

Cited by

1 citation across 1 artifact.

Domain-specific

• Algebraic Decision Diagram
  • The identity is narrower than an arbitrary decision DAG and broader than a Boolean decision diagram: binary input tests remain, while the range admits several constants and associated operations.

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