publicações A Study of the Aplication of Binary Decision Diagrams to Multi-level Logic Synthesis. Documento
