Optimal Free Binary Decision Diagrams for Computation of EAR_n

Abstrakt

We construct optimal free binary decision diagrams for the Boolean function EAR_n.