zbMath1207.94089MaRDI QIDQ3065071
Lorenzo Traldi, R. E. Andersen, A. O. Balan, J. P. Rowe
Publication date: 3 January 2011
zbMATH Keywords
Boolean function; network reliability; binary decision diagram; sub of disjoint products
Mathematics Subject Classification ID