Module 4 — Choose a good variable order · Binary Decision Diagrams with CUDD

formal.org
Binary Decision Diagrams with CUDD

Module 4 — Choose a good variable orderHow the variable order changes a BDD's size, functions with no good order, why finding the best order is hard, and sifting.Katas in this module (4)

Kata 4.1 — Find a good order

Kata 4.2 — Interleave the adder

Kata 4.3 — Build an ordering gap

Kata 4.4 — Choose what sifting guarantees

Part of Binary Decision Diagrams with CUDD on formal.org.