@第{zbMATH02142432条，作者={江、颖涛和王，于克和宋，小余和萨瓦利亚，Y.}，标题={由{OBDD}}表示的{布尔}函数的信号输出概率计算，FJournal={计算机与数学应用}，日志={Compute.Math.Appl.}，ISSN={0898-1221}，体积={47}，数字={12}，页码={1865--1874}，年份={2004}，语言={英语}，DOI={10.1016/j.camwa.2003.08.004}，关键词={94C10,94A12,06E30}，zbMATH={2142432}，Zbl={1061.94555}}