×

找到8个文档(结果1-8)

改进分支和绑定MDD求解器的过滤。 (英语) Zbl 07493632号

Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 231-247 (2021).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用

红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号

薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号

Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

建立一个高效的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格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份