Title: Applications of Zero-Suppressed Decision Diagrams