安东尼奥·埃尔南多;尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。 真值为素数幂的逻辑多项式模型。 (英语) Zbl 1231.03023号 J.汽车。推理 46,第2期,205-221(2011).MSC公司:03B50号 03G25号 68层35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernando}等人,J.Autom。推理46,No.2,205--221(2011;Zbl 1231.03023) 全文: DOI程序
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;德国普埃布拉 静态成本分析中的闭式上限。 (英语) Zbl 1213.68200号 J.汽车。推理 46,第2期,161-203(2011).MSC公司:68号30 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Autom。推理46,No.2,161--203(2011;Zbl 1213.68200) 全文: DOI程序
Ole J.蒙苏尔。;丹·罗斯;大卫·C·威尔金斯。 随机局部搜索中的投资组合:在贝叶斯网络中高效计算最可能的解释。 (英语) Zbl 1213.68582号 J.汽车。推理 46,第2期,103-160(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.J.Mengshoel}等人,J.Autom。推理46,No.2,103--160(2011;Zbl 1213.68582) 全文: DOI程序 链接