Implement Affine Algebraic SDDs #2
Description
Affine Algebraic BDDs are introduced in this presentation :
AADD can yield exponential time/space improvement over ADD
"Affine" variant would be relatively easy to implement in SDDs while delivering significant improvements!