伊藤武弘;川原骏;Yu Nakahata;苏,武藏;铃木、亚基拉;Junichi Teruyama;塔希萨·托达 基于ZDD的求解最短重构问题的算法框架。 (英语) Zbl 07745660号 Andre A.Cire(编辑),《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日,第20届国际会议,CPAIOR 2023,法国尼斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13884, 167-183 (2023).MSC公司:68T20型 900亿 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}等人,Lect。注释计算。科学。13884167-183(2023年;Zbl 07745660) 全文: 内政部 arXiv公司
马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 限制条件 28,编号1,1-12(2023).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼 通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 (英语) Zbl 1522.68716号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505、137-153(2022年)。MSC公司:68伏15 55平方米 90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。13505,137--153(2022;Zbl 1522.68716) 全文: 内政部
本杰明·比特纳;马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔;维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 (英语) Zbl 1491.68107号 Artif公司。智力。 309,文章ID 103725,39 p.(2022).MSC公司:第68季度第60季度 90B25型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人,Artif。智力。309,文章ID 103725,39 p.(2022;Zbl 1491.68107) 全文: 内政部
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 规划问题的算法和条件下限。 (英语) Zbl 1519.68231号 Artif公司。智力。 297,文章ID 103499,22 p.(2021).MSC公司:68T20型 2017年第68季度 68兰特 90立方厘米 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Artif。智力。297,文章ID 103499,22 p.(2021;Zbl 1519.68231) 全文: 内政部 arXiv公司 链接
乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 通过平移证明自然上的逐点度量时态逻辑的定理。 (英语) 兹比尔1459.03012 J.汽车。推理 64,第8期,1553-1610(2020).MSC公司:03B35型 03B44号 03B70号 68T40型 68伏15 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,J.Autom。推理64,No.8,1553--1610(2020;Zbl 1459.03012) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) Zbl 1468.68206号 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,No.3,423--460(2020;Zbl 1468.68206) 全文: 内政部
王、孟;田聪;张楠;段振华;杜洪伟 验证安全关键系统的调度协议。 (英语) Zbl 1423.90101号 J.库姆。最佳方案。 37,第4期,1191-1215(2019).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,J.Comb。最佳方案。37,第4号,1191--1215(2019;Zbl 1423.90101) 全文: 内政部
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:第68季度第60季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决不确定性时间问题的强可控性。 (英语) Zbl 1314.90043号 限制条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 1314.90043) 全文: 内政部
玛丽亚姆·坎加普尔;肖恩·萨默斯;约翰·莱杰罗斯 随机混合系统规范的控制设计。 (英语) Zbl 1364.93263号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。303-312 (2013).MSC公司:93亿B50 65年第68季度 第68季度第60季度 90立方厘米 93个B03 93立方 93C55美元 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamgarpour}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。303--312(2013;Zbl 1364.93263) 全文: 内政部
伊利亚·特卡切夫;亚历山大·梅雷克莱;Joost-Pieter卡托恩;亚历山德罗·阿巴特 非自治随机混合系统基于定量自动机的控制器综合。 (英语) Zbl 1362.68189号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。293-302 (2013).MSC公司:第68季度第60季度 60J05型 65年第68季度 90立方厘米 93个B03 93亿B50 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Tkachev}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,费城,宾夕法尼亚州,美国,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。293--302(2013;Zbl 1362.68189) 全文: 内政部
拉杰夫·阿鲁尔;Forejt,Vojtěch公司;萨拉尔·莫拉里夫;阿舒托什·特里维迪 有界速率多模系统的安全可调度性。 (英语) Zbl 1361.93019号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。243-252 (2013).MSC公司:93立方 2017年第68季度 第68季度25 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《第16届ACM混合系统国际会议论文集:计算与控制》,2013年HSCC,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。243-252(2013;Zbl 1361.93019) 全文: 内政部 arXiv公司
克里希南德·查特吉;亚历山大·Kßler;乌尔里希·施密德 使用图形游戏自动分析实时调度。 (英语) Zbl 1361.90021号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。163-172 (2013).MSC公司:90B35型 第68季度25 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。163-172(2013年;Zbl 1361.90021) 全文: 内政部
泰语、杰罗姆语;亚历山大·巴恩(Alexandre M.Bayen)。 多面体混合系统的状态估计及其在Godunov格式中的应用。 (英语) Zbl 1362.93069号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。143-152 (2013).MSC公司:93C20美元 93立方 93二氧化碳 90 C59 93E11号机组 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{J.Thai}和\textit{A.M.Bayen},in:第16届ACM混合系统国际会议论文集:计算和控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。143-152(2013;Zbl 1362.93069) 全文: 内政部
黎文良;法比安·劳尔;洛朗·巴科;杰拉德·布洛赫 学习非线性混合系统:从稀疏优化到支持向量回归。 (英语) Zbl 1364.93381号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。33-42 (2013).MSC公司:93立方 62J02型 68T05型 90C25型 93B30型 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Le}等人,in:《第16届ACM混合系统国际会议论文集:计算与控制》,2013年HSCC,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。33-42(2013年;Zbl 1364.93381) 全文: 内政部
亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Comput。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
克里斯蒂安·马萨拉古;魏恩根·钦;安德烈·特凡;瓦西里·阿莱巴 业务流程规范和验证的严格方法。 (英语) Zbl 1184.68340号 正式Asp。计算。 21,第5期,495-510(2009).MSC公司:第68季度第60季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{C.Masalagiu}等人,正式Asp。计算。21,第5号,495--510(2009;Zbl 1184.68340) 全文: 内政部
恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:爱思唯尔,电子。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《电子》。注释离散数学。9,无页码。(2001年;Zbl 0990.90559)