泽维尔·吉拉德;维也纳科佩;皮埃尔·绍斯;安德烈·奥古斯托·西雷 改进分支和绑定MDD求解器的过滤。 (英语) Zbl 07493632号 Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 231-247 (2021).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{X.Gillard}等人,Lect。注释计算。科学。12735、231--247(2021;Zbl 07493632) 全文: 内政部 arXiv公司
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 Acta信息。 54,第6号,545-587(2017).MSC公司:第68季度87 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号 薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。MSC公司:60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人,电子。注释Theor。计算。科学。309、63-74(2014年;Zbl 1351.68169) 全文: 内政部
贝特·博利格;迈克尔·卡佩尔 度量TSP近似值的优先级函数。 (英语) Zbl 1296.68193号 Inf.流程。莱特。 113,第14-16号,584-591(2013).MSC公司:68周25 05C85号 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Capelle},Inf.过程。莱特。113,编号14-16584-591(2013;Zbl 1296.68193) 全文: 内政部
巴塔查里亚,S。;R.库马尔。;黄,Z。 网络故障管理的离散事件系统方法:故障检测和诊断。 (英语) Zbl 1219.93071号 亚洲J.控制 13,第4期,471-479(2011).MSC公司:93元65角 94C12号机组 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhattacharyya}等人,《亚洲控制杂志》第13期,第4期,第471-479页(2011年;Zbl 1219.93071) 全文: 内政部
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).MSC公司:60年第68季度 2010年第68季度 65年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:加权自动机手册。柏林:斯普林格。519-570(2009年;兹比尔1484.68095) 全文: 内政部
恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:Elsevier,Electron。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《电子》。注释离散数学。9,无页码。(2001年;Zbl 0990.90559)
贾南·扎顿 对grafcet控制系统验证的贡献。 (英语) Zbl 1293.93425号 欧洲药典控制 6,第6期,488-506(2000).MSC公司:93立方 90B30型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Zayton},《欧洲期刊控制》第6卷,第6期,第488--506页(2000年;Zbl 1293.93425) 全文: 内政部