O que é: Zero-suppressed Binary Decision Diagram (Diagrama de Decisão Binário Suprimido em Zeros)