Applications of Zero-Suppressed Decision Diagrams