Silva, Romulo José Pereira da
(2015-02-04)
Diagrama de decisão Binário (BDD) é um grafo acíclico direcionado, usado para representar as funções booleanas. ROBDD (Diagramas de Decisão Binária Ordenada e Reduzida) é um tipo de BDD que utiliza a ordenação de variáveis ...