Sasao T. Applications of Zero-Suppressed Decision Diagrams 2014