Zero-suppressed decision diagram