Zero suppressed decision diagram