Qual è l'algoritmo per calcolare il join di due diagrammi di decisione binaria a soppressione dello zero? L'ho cercato per ore ora, proprio non riesco a trovarlo. Non è nemmeno nel libro di Knuth, per
Reduced Ordered Binary Decision Diagrams (ROBDD) sono una struttura dati efficiente per le funzioni booleane di più variabili f(x1,x2,...,xn). Mi piacerebbe avere un'intuizione per come sono efficient