罗伯特·马泰斯库;丽娜·德希特 混合确定性和概率性网络。 (英语) Zbl 1176.68200号 安。数学。Artif公司。智力。 54,编号1-3,3-51(2008).MSC公司:68T20型 68立方英尺 68层37 62层30 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{R.Dechter},《数学年鉴》。Artif公司。智力。54,编号1--3,3--51(2008;Zbl 1176.68200) 全文: 内政部 链接
弗朗西·布尔格勒;李、小余;马蒂亚斯·斯托尔曼。 关于SAT实例类和使用SAT解算器进行可靠性能实验的方法。 (英语) Zbl 1100.68575号 安。数学。Artif公司。智力。 43,第1-4、1-34号(2005).MSC公司:65年第68季度 68T20型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{F.Brglez}等人,《数学年鉴》。Artif公司。智力。43,编号1--4,1-34(2005;Zbl 1100.68575) 全文: 内政部