Optimal Free Binary Decision Diagrams for Computation of EAR_n

Abstract

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