帕巴卡·戈尔 生成组合逻辑电路测试的隐式枚举算法。 （英语） Zbl 0455.94038号 IEEE传输。计算。 30115-222（1981年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 显示扫描页面 引用于8文件 MSC公司： 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 关键词：误差修正;卡住的故障;测试生成;不可检测故障 PDF格式BibTeX公司 XML格式引用 \textit{P.Goel}，IEEE Trans。计算。30、215--222（1981年；Zbl 0455.94038） 全文： 内政部