A fixed order in which Boolean variables may be tested along each branch of an ordered binary decision diagram. Branches may skip a test, but cannot reverse the order. The order can change the number of distinct remaining Boolean cofactors and therefore the size of the representation.

Ancestors (9)

  1. Ordered binary decision diagram
  2. Binary decision diagram
  3. Boolean function
  4. Boolean hypercube
  5. Analysis of Boolean functions
  6. Combinatorics
  7. Area of mathematics
  8. Mathematics
  9. Home

Incoming links (4)

View article source

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version