尤斯拉·莱姆巴哈;瑞安·鲁西奇;尤利安·尼姆图;吉安弗兰科·西亚多 Bddl公司:二进制决策图的类型系统。 (英语) Zbl 1514.68048号 Kovács,Laura(编辑)等人,《测试和证明》。第16届国际会议,TAP 2022,作为STAF 2022的一部分,于2022年7月5日在法国南特举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13361, 31-47 (2022).MSC公司:68第05页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lembachar}等人,Lect。注释计算。科学。13361,31-47(2022;Zbl 1514.68048) 全文: 内政部
安娜·L·D·拉图。;贝鲁兹·巴巴基;达尼·福金加;玛丽·阿纳斯塔西奥;霍尔格·H·胡斯。;齐格弗里德·尼杰森 精确随机约束优化及其在网络分析中的应用。 (英语) Zbl 07482902号 Artif公司。智力。 304,文章ID 103650,38 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.L.D.Latour}等人,人工制品。智力。304,文章ID 103650,38 p.(2022;Zbl 07482902) 全文: 内政部
塞巴斯蒂奥·M·内托。;Zárate,Luis E。;宋,Mark A.J。 通过二元决策图处理形式化概念分析中的高维上下文。 (英语) Zbl 1436.68338号 信息科学。 429, 361-376 (2018).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Neto}等人,《信息科学》。429、361--376(2018年;Zbl 1436.68338) 全文: 内政部
约翰·范·本特姆;范·艾伊克(Jan van Eijck);马尔文·加廷格;苏凯乐 动态认知逻辑的符号模型检查–S5及更高版本。 (英语) Zbl 1410.68242号 J.日志。计算。 28,第2期,367-402(2018).MSC公司:60年第68季度 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,J.Log。计算。28,第2号,367--402(2018;Zbl 1410.68242) 全文: 内政部 链接
Giso H.达尔。;Peter J.F.卢卡斯。 用于精确概率推理的加权正二进制决策图。 (英语) Zbl 1419.68092号 国际J近似推理 90, 411-432 (2017).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.H.Dal}和\textit{P.J.F.Lucas},《国际近似推理》90,411--432(2017;Zbl 1419.68092) 全文: 内政部 arXiv公司
贝特·博利格 这是一个简单的反例,是对布莱恩特应用算法复杂性的长期猜测的反例。 (英语) Zbl 1284.68209号 信息处理。莱特。 114、3号、124-129(2014).MSC公司:68第05页 06E30年 68卢比 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},Inf.过程。莱特。114,第3号,124--129(2014;Zbl 1284.68209) 全文: 内政部
鲁道夫·伯哈默;斯特凡·博卢斯 关于使用二进制决策图解决简单游戏中的问题。 (英语) Zbl 1253.91014号 欧洲药典。物件。 222,第3期,529-541(2012).MSC公司:91A12号机组 91磅06 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{S.Bolus},欧洲期刊Oper。第222号决议,第3号,529--541(2012;Zbl 1253.91014) 全文: 内政部
吕迪格·埃勒斯 符号有界合成。 (英语) 兹比尔1247.68163 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
德米特里·布加琴科 多根二元决策图在概率模型检验中的应用。 (英语) Zbl 1325.68142号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。第13届国际会议,2012年VMCAI,美国宾夕法尼亚州费城,2012年1月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148104-118(2012)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bugaychenko},莱克特。注释计算。科学。7148104-118(2012;Zbl 1325.68142) 全文: 内政部
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 对模型检查器进行基准测试,以改进算法并调整性能。 (英语) Zbl 1247.68160号 形式方法系统。设计。 39,第2期,205-227(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。39,第2号,205-227(2011;Zbl 1247.68160) 全文: 内政部
Bugaychenko,D.Yu。;索洛维耶夫,I.P。 整数函数的多根决策图的应用。 (英语。俄文原件) Zbl 1251.68082号 维斯特。圣彼得堡大学数学。 43,第2期,92-97(2010年); 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年,第2期,91-98(2010)。MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Bugaychenko}和\textit{I.P.Soloviev},维斯顿。圣彼得堡大学数学。43,No.2,92--97(2010;Zbl 1251.68082);由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年,第2期,91--98(2010) 全文: 内政部
凯·兰普卡;马库斯·西格尔;乔恩·奥斯索夫斯基;克里斯特尔·拜尔 部分共享零抑制多终端BDD:概念、算法和应用。 (英语) Zbl 1214.68219号 形式方法系统。设计。 36,第3期,198-222(2010).MSC公司:60年第68季度 68周05 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}等人,《形式方法系统》。设计。36,第3号,198--222(2010;Zbl 1214.68219) 全文: 内政部 链接
Wěi Chén;张文辉 鸽子洞问题的多项式大小OBDD证明的直接构造。 (英语) Zbl 1217.03044号 信息处理。莱特。 109,第10号,472-477(2009).MSC公司:20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Chén}和\textit{W.Zhang},Inf.过程。莱特。109,第10号,472--477(2009;Zbl 1217.03044) 全文: 内政部
庆蒂里尼、拉斐拉;卡拉广场;阿尔贝托,Policriti 符号图:连接相关问题的线性解决方案。 (英语) Zbl 1203.68039号 算法 50,第1期,120-158(2008).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Gentilini}等人,Algorithmica 50,No.1,120--158(2008;Zbl 1203.68039) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) Zbl 1131.68095号 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: 内政部
A.西马蒂。;M.罗维里。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,第1-2127-206号(2004年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,编号1--2,127-206(2004;Zbl 1086.68591) 全文: 内政部
高石县Horiyama;茨城,东芝 有序二元决策图推理。 (英语) Zbl 1077.68100号 离散应用程序。数学。 142,编号1-3,151-163(2004).MSC公司:68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki},离散应用程序。数学。142,编号1--3,151-163(2004;Zbl 1077.68100) 全文: 内政部
英戈·韦格纳 BDD–设计、分析、复杂性和应用程序。 (英语) Zbl 1045.94023号 离散应用程序。数学。 138,编号1-2,229-251(2004). 审核人:马格努斯·斯坦比(图尔库) MSC公司:94C10美元 94C15号机组 05C85号 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},离散应用程序。数学。138,编号1--2,229--251(2004;Zbl 1045.94023) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;Roveri,M。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 (英语) Zbl 1054.68018号 J.日志。阿尔盖布。程序。 56,编号1-2,23-67(2003).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,J.Log。阿尔盖布。程序。56,编号1--2,23-67(2003;Zbl 1054.68018) 全文: 内政部
A.多维尔。;Gentilini,R。;C.广场。;Policriti,A。 基于秩的符号互模拟:(和模型检查)。 (英语) Zbl 1261.68084号 de Queiroz,Ruy(编辑)等人,WoLLIC’2002。2002年7月30日至8月2日,巴西里约热内卢,巴西里约热内卢,里约热内卢天主教大学,第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记67,166-183(2002)。MSC公司:60年第68季度 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,《电子》。注释Theor。计算。科学。67、166--183(2002年;Zbl 1261.68084) 全文: 内政部
卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 (英语) Zbl 0960.68109号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 395-410 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.de Alfaro}等人,Lect。注释计算。科学。1785395-410(2000年;Zbl 0960.68109)