Computation of signal output probability for Boolean functions represented by OBDD
From MaRDI portal
Publication:1767902
DOI10.1016/j.camwa.2003.08.004zbMath1061.94555MaRDI QIDQ1767902
Xiaoyu Song, Yuke Wang, Yingtao Jiang, Yvon Savaria
Publication date: 8 March 2005
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.camwa.2003.08.004
DB lookup for MSC labels failed