川原骏;佐藤,Toshiki;武田,平子;良良吉中;Yui吉冈 完美图子类的高效非同构图枚举算法。 (英文) Zbl 07770289号 林春成(编辑)等,WALCOM:算法和计算。第17届国际会议和研讨会,2023年3月22日至24日,台湾新竹,WALCOM 2023。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13973, 151-163 (2023).MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{J.Kawahara}等人,Lect。注释计算。科学。13973、151--163(2023;Zbl 07770289) 全文: 内政部 arXiv公司
伊藤武弘;川原骏;Yu Nakahata;苏,武藏;铃木、亚基拉;Junichi Teruyama;塔希萨·托达 基于ZDD的求解最短重构问题的算法框架。 (英文) 兹比尔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公司
斯特凡·埃尔莫塔勒;莎拉·爱丽丝·加格尔;多米尼克·鲁索瓦克;约翰·沃纳(Johannes P.Wallner)。 用二元决策图表示抽象的辩证框架。 (英文) Zbl 07671887号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13416, 177-189 (2022).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ellmauthaler}等人,莱克特。注释计算。科学。13416、177--189(2022;Zbl 07671887) 全文: 内政部
尤斯拉·莱姆巴哈;瑞安·鲁西奇;尤利安·尼姆图;吉安弗兰科·西亚多 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) 全文: 内政部
伊戈尔·拉兹贡 单调2-CNF的OBDD大小分类。 (英文) Zbl 07803603号 Golovach,Petr A.(编辑)等人,第16届参数化和精确计算国际研讨会,IPEC 2021,葡萄牙里斯本,2021年9月8日至10日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214,第25条,第15页(2021年)。MSC公司:65年第68季度 第68季度27 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{I.Razgon},LIPIcs——莱布尼茨国际程序。通知。214,第25条,第15页(2021;Zbl 07803603) 全文: 内政部 arXiv公司
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英文) 兹比尔1467.68203 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12651, 76-93 (2021).MSC公司:68伏15 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},莱克特。注释计算。科学。12651、76-93(2021年;Zbl 1467.68203) 全文: 内政部 arXiv公司
贝诺·凯劳德;马蒂亚斯·马兰丹;琼·蒂鲍特 多模DAE系统的隐式结构分析。 (英文) Zbl 07300861号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第20条,第11页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第20条,第11页(2020;Zbl 07300861) 全文: 内政部 哈尔
大卫·伯格曼;卡洛斯·卡多尼亚;撒哈拉迈赫拉尼 最小颜色碎片装箱的二进制决策图。 (英文) Zbl 1525.90345号 Rousseau,Louis-Martin(编辑)等人,《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议,2019年6月4日至7日,希腊塞萨洛尼基。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11494, 57-66 (2019).MSC公司:90C27型 68T20型 90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{D.Bergman}等人,Lect。注释计算。科学。11494、57-66(2019年;Zbl 1525.90345) 全文: 内政部 arXiv公司
普福尔,马提亚斯;约格·里特;保罗·莫利托 在可逆电路中寻找冗余门。 (英文) Zbl 1515.68135号 Kari,Jarkko(编辑)等人,《可逆计算》。2018年9月12日至14日在英国莱斯特举行的2018年RC第十届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11106, 205-219 (2018).MSC公司:2006年第68季度 2009年第68季度 81页65 PDF格式BibTeX公司 XML格式引用 \textit{M.Pfuhl}等人,Lect。注释计算。科学。11106205-219(2018;Zbl 1515.68135) 全文: 内政部
宫本美本;肖塔·托多罗基;迪普塔拉马;良良吉中;Ayumi Shinohara 一种有效的零抑制二元决策图查询学习算法。 (英文) Zbl 1403.68201号 Steve Hanneke等人,算法学习理论国际会议。2017年10月15日至17日,日本京都京都大学,第28届会议记录(ALT 2017)。[s.l.]:机器学习研究论文集PMLR。机器学习研究论文集(PMLR)76,360-371(2017)。MSC公司:68T05型 68第05页 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{H.Mizumoto}等人,Proc。机器。学习。决议(PMLR)76360-371(2017年;兹bl 1403.68201) 全文: 链接
马蒂亚斯·苏肯;杰哈德·杜克(Gerhard W.Dueck)。;D.迈克尔·米勒 一种基于符号变换的快速可逆逻辑综合算法。 (英文) Zbl 1480.94056号 Devitt,Simon(编辑)等人,《可逆计算》。2016年7月7日至8日,第八届国际会议,RC 2016,意大利博洛尼亚。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9720, 307-321 (2016).MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Soeken}等人,莱克特。注释计算。科学。9720,307--321(2016;Zbl 1480.94056) 全文: 内政部
马克·巴格诺尔 通过二进制决策图,MALL证明等价是logspace-complete。 (英文) 兹比尔1433.03144 Altenkirch,Thorsten(编辑),第13届lambda calculi类型和应用国际会议,TLCA’15,波兰华沙,2015年7月1日至3日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。38, 60-75 (2015).MSC公司:03楼52 05年3月 07年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bagnol},LIPIcs——莱布尼茨国际程序。通知。38、60-75(2015年;Zbl 1433.03144) 全文: 内政部 arXiv公司
斯莫尔卡,斯特芬;埃利奥普洛斯、斯皮里顿;内特·福斯特;阿琼·古哈 NetKAT的快速编译器。 (英文) Zbl 1360.68352号 2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。328-341 (2015).MSC公司:68N20型 68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Smolka}等人,in:第20届ACM SIGPLAN函数编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)。328--341(2015;Zbl 1360.68352) 全文: 内政部 arXiv公司
Damien Pous 语言等价和Kleene代数的符号算法及测试。 (英文) Zbl 1346.68120号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。357-368 (2015).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous},in:第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。357--368(2015;Zbl 1346.68120) 全文: 内政部 arXiv公司
乌斯曼·劳夫;萨明、希玛;安东尼奥·塞隆 生物调控网络中振荡行为的形式分析:一种替代方法。 (英文) Zbl 1337.92081号 Merelli,Emanuela(编辑)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),意大利佛罗伦萨,2013年6月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记299,85-100(2013)。MSC公司:92立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Rauf}等人,《电子》。注释Theor。计算。科学。29985-100(2013年;Zbl 1337.92081) 全文: 内政部
德米特里·布加琴科 关于多根二进制决策图在概率模型检验中的应用。 (英文) Zbl 1325.68142号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(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) 全文: 内政部
贝特·博利格;Marc Gillé 乘法最重要位的随机OBDD需要指数大小。 (英文) Zbl 1298.68109号 乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543135-145(2011)。MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Gillé},莱克特。注释计算。科学。6543、135——145(2011年;Zbl 1298.68109) 全文: 内政部
贝特·博利格 关于最小生成树问题的基于符号OBDD的算法。 (英文) Zbl 1311.05183号 Wu,Weili(编辑)等,组合优化与应用。2010年12月18日至20日,第四届国际会议,COCOA 2010,美国HI凯鲁亚·科纳。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-17460-5/pbk)。计算机科学课堂讲稿650916-30(2010)。MSC公司:05C85号 05二氧化碳 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},莱克特。注释计算。科学。6509,16-30(2010;Zbl 1311.05183) 全文: 内政部
马诺伊·辛哈尔;乔汉,R.K。;吉里什·夏尔玛 使用二进制决策图计算计算机通信网络可靠性的另一种方法。 (英文) Zbl 1213.68138号 Ranka,Sanjay(编辑)等人,《当代计算》。2010年8月9日至11日,第三届国际会议,IC3 2010,印度诺伊达。柏林:施普林格出版社(ISBN 978-3-642-14833-0/pbk;978-3-662-14834-7/电子书)。《计算机与信息科学通信》94,160-170(2010)。MSC公司:68米15 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{M.Singhal}等人,Commun。计算。信息科学。94、160-170(2010年;Zbl 1213.68138) 全文: 内政部
贝特·博利格 关于最大匹配和(Un)有向图的符号表示。 (英文) 兹比尔1198.68180 Calude,Christian S.(编辑)等人,《理论计算机科学》。第六届IFIP工作组2.2国际会议,TCS 2010,作为世界计算机大会(WCC 2010)的一部分,于2010年9月20日至23日在澳大利亚布里斯班举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15239-9/hbk;978-3-442-15240-5/电子书)。IFIP《信息和通信技术进展》3232686-300(2010)。MSC公司:68兰特 65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},IFIP高级信息通信。Technol公司。323286--300(2010年;Zbl 1198.68180) 全文: 内政部
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);杰尔达·詹森斯 ProbLog中的变量压缩。 (英文) Zbl 1306.68010号 Fermüller,Christian G.(编辑)等人,《编程逻辑、人工智能和推理》。第17届国际会议,LPAR-17,印尼日惹,2010年10月10-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-16241-1/pbk)。计算机科学课堂讲稿6397504-518(2010)。MSC公司:68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}和\textit{G.Janssens},莱克特。注释计算。科学。6397、504--518(2010年;Zbl 1306.68010) 全文: 内政部 链接
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;安吉丽卡·基米格;杰尔达·詹森斯 在概率上下文中预处理BDD的布尔公式。 (英文) Zbl 1306.68055号 Janhunen,Tomi(编辑)等人,《人工智能中的逻辑》。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15674-8/pbk)。计算机科学课堂讲稿6341。人工智能课堂讲稿,260-272(2010)。MSC公司:68问题32 68N17号 87年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}等人,Lect。注释计算。科学。6341260-272(2010年;Zbl 1306.68055) 全文: 内政部 链接
贝特·博利格 基于符号OBDD的可达性分析需要指数空间。 (英文) Zbl 1274.68087号 van Leeuwen,Jan(编辑)等人,SOFSEM 2010:计算机科学的理论与实践。2010年1月23日至29日,第36届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11265-2/pbk)。计算机科学课堂讲稿5901224-234(2010)。MSC公司:68第05页 2017年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},莱克特。注释计算。科学。5901224--234(2010年;Zbl 1274.68087) 全文: 内政部
安德烈·里姆萨;Zárate,Luis E。;宋,Mark A.J。 使用BDD处理大型正式上下文-透视图和限制。 (英文) Zbl 1248.68482号 费雷,塞巴斯蒂安(编辑)等,形式概念分析。2009年5月21日至24日在德国达姆施塔特举行的2009年ICFCA第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-01814-5/pbk)。计算机科学讲义5548。《194-209年人工智能讲义》(2009)。MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Rimsa}等人,Lect。注释计算。科学。5548194-209(2009年;Zbl 1248.68482) 全文: 内政部
贝特·博利格 关于阈值函数的OBDD复杂性和变量排序问题(扩展抽象)。 (英文) Zbl 1206.68100号 尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404129-140(2009)。MSC公司:68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},莱克特。注释计算。科学。5404129-140(2009年;兹比尔1206.68100) 全文: 内政部
Kai兰普卡 一种新的分区符号可达性分析算法。 (英文) Zbl 1337.68167号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223137-151(2008)。MSC公司:60年第68季度 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka},电子。注释Theor。计算。科学。223137--151(2008年;Zbl 1337.68167) 全文: 内政部
Randal E.布莱恩特。 机房视图:符号模型检查的计算支持。 (英文) Zbl 1142.68430号 Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学课堂讲稿5000,145-149(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},莱克特。注释计算。科学。5000、145-149(2008年;Zbl 1142.68430) 全文: 内政部 链接
贝特·博利格 关于整数乘法最重要位的OBDD复杂性。(扩展摘要)。 (英文) 兹比尔1139.68342 Agrawal,Manindra(编辑)等人,《计算模型的理论和应用》。2008年4月25日至29日,第五届国际会议,TAMC 2008,中国西安。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79227-7/pbk)。计算机科学课堂讲稿4978,306-317(2008)。MSC公司:65年第68季度 2016年11月 68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},莱克特。注释计算。科学。4978、306——317(2008年;兹bl 1139.68342) 全文: 内政部
贝特·博利格;Niko系列;英戈,韦格纳 一些基本函数的精确OBDD边界。(扩展摘要)。 (英文) Zbl 1132.68347号 Geffert,Viliam(编辑)等人,SOFSEM 2008:计算机科学的理论与实践。第34届计算机科学理论与实践当前趋势会议,2008年1月19日至25日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77565-2/pbk)。《计算机科学讲义》4910174-185(2008)。MSC公司:68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Lect。注释计算。科学。4910174-185(2008年;Zbl 1132.68347) 全文: 内政部
吉安弗兰科·西亚多 数据表示和有效解决方案:决策图方法。 (英文) Zbl 1323.68049号 Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,371-394(2007)。MSC公司:68平方米 68第05页 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciardo},莱克特。注释计算。科学。4486、371--394(2007年;Zbl 1323.68049) 全文: 内政部
佐藤雅满 使用符号模型检查进行自动验证。 (英文) Zbl 1123.68072号 Ionescu,Dan(编辑)等人,《实时系统》。建模、设计和应用。根据AMAST研讨会上的演示选择论文。新泽西州哈肯萨克:世界科学(ISBN 981-02-4424-X/hbk)。AMAST系列计算8,137-152(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yamane},AMAST服务器。计算。8137--152(2007;Zbl 1123.68072)
阿尔伯特·奈梅耶;钱凯荣 基于符号数据结构的启发式搜索算法。 (英文) Zbl 1205.68381号 Gedeon,Tamás D.(编辑)等人,AI 2003:人工智能的进展。第十六届澳大利亚人工智能会议,澳大利亚珀斯,2003年12月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20646-9/pbk)。计算机科学课堂讲稿2903。《人工智能讲义》,966-979(2003)。MSC公司:68T20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Nymeyer}和\textit{K.Qian},Lect。注释计算。科学。2903966-979(2003年;兹bl 1205.68381) 全文: 内政部
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) 全文: 内政部
詹皮埃罗·卡波迪 Meta-BDDs:布尔函数分层符号操作的分解表示。 (英文) Zbl 0991.68547号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。2102, 118-130 (2001).MSC公司:60年第68季度 65年第68季度 68瓦30 06E30年 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi},莱克特。注释计算。科学。2102118-130(2001年;Zbl 0991.68547) 全文: 链接
克里斯托夫·梅内尔;克里斯蒂安·斯坦吉尔 布尔函数的数据结构。BDD–基础和应用。 (英文) Zbl 1052.68135号 Alt,Helmut(编辑),计算离散数学。高级讲座。柏林:施普林格出版社(ISBN 3-540-42775-9)。勒克特。注释计算。科学。2122, 61-78 (2001).MSC公司:68单位07 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{C.Stangier},莱克特。注释计算。科学。2122,61-78(2001年;兹bl 1052.68135)
理查德·安德森。;保罗·比姆;威廉·陈;大卫·诺金 符号模型检查在软件规范分析中的应用经验。 (英文) Zbl 0970.68723号 Björner,Dines(编辑)等人,《系统信息学的观点》。第三届安德烈·埃尔肖夫国际纪念大会,PSI'99。Akademgorodik,俄罗斯新西伯利亚,1999年7月6日至9日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1755, 460-469 (2000).MSC公司:68单位99 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Anderson}等人,Lect。注释计算。科学。1755、460-469(2000年;Zbl 0970.68723)
卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 (英文) Zbl 0960.68109号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1785, 395-410 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。1785395-410(2000年;Zbl 0960.68109)
英戈,韦格纳 通信复杂性和BDD下界技术。 (英文) Zbl 0956.68070号 Althöfer,Ingo(编辑)等人,《数字、信息和复杂性》。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特:Kluwer学术出版社。615-628 (2000).MSC公司:68问题30 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},in:数字、信息和复杂性。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特:Kluwer学术出版社。615--628(2000;Zbl 0956.68070)
高石县Horiyama;茨城,东芝 作为知识库的有序二进制决策图。 (英文) Zbl 0964.68130号 Aggarwal,Alok(编辑)等人,《算法与计算》。1999年12月16日至18日在印度钦奈举行的第十届国际研讨会,ISAAC’99。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1741, 83-92 (1999).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki},Lect。注释计算。科学。1741,83-92(1999;Zbl 0964.68130)
西林,德特勒夫 线性变换的OBDD和FBDD的下限。 (英文) Zbl 0958.68071号 Pandu Rangan,C.(编辑)等人,《软件技术和理论计算机科学基础》。第19届会议,印度钦奈,1999年12月13日至15日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1738, 356-368 (1999).MSC公司:2017年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling},莱克特。注释计算。科学。1738356-368(1999年;Zbl 0958.68071)
马克·D·阿加德。;托马斯·梅勒姆。;约翰·W·奥利里。 X用于轨迹评估,布尔用于定理证明。 (英文) Zbl 0949.68104号 Pierre,Laurence(编辑)等人,《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议,CHARME’99,Bad Herrenalb,Germany,1999年9月27-29日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1703, 202-218 (1999).MSC公司:60年第68季度 94立方厘米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Aagaard}等人,Lect。注释计算。科学。1703202--218(1999;Zbl 0949.68104)
埃德蒙·克拉克;Jha,萨默什;卢、袁;王、董 抽象BDD:一种在模型检查中使用抽象的技术。 (英文) Zbl 0949.68105号 Pierre,Laurence(编辑)等人,《正确的硬件设计和验证方法》。1999年9月27日至29日,第10届IFIP WG 10.5高级研究工作会议,CHARME'99,德国巴特赫雷纳布。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1703, 172-186 (1999).MSC公司:60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,Lect。注释计算。科学。1703172--186(1999年;Zbl 0949.68105)
劳伦特·毛博涅 二元决策图。 (英文) Zbl 0957.68071号 Cortesi,Agostino(编辑)等人,《静态分析》。第六届国际研讨会,1999年9月22日至24日,意大利威尼斯,SAS’99。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1694, 101-116 (1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mauborgne},莱克特。注释计算。科学。1694、101-116(1999;Zbl 0957.68071)
弗兰克·雷费尔;斯特凡·爱德坎普 使用定向符号模型检查进行错误检测。 (英文) Zbl 0954.68101号 Jeannette M.Wing(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。在2卷中。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。勒克特。注释计算。科学。1708; 1709, 195-211 (1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Reffel}和\textit{S.Edelkamp},莱克特。注释计算。科学。1708195-211(1999;Zbl 0954.68101)
Jean-Francis Michon;Jean-Marc Champarnaud公司 自动机和二进制决策图。 (英文) Zbl 0959.68066号 Champarnaud,Jean-Marc(编辑)等人,《自动化实现》。1998年9月17日至19日,第三届国际研讨会,WIA’98,法国鲁昂。修订论文。柏林:斯普林格。勒克特。注释计算。科学。1660, 178-182 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Michon}和\textit{J.-M.Champarnaud},莱克特。注释计算。科学。1660178-182(1999年;Zbl 0959.68066)
法比奥·萨蒙齐 二进制决策图。 (英文) Zbl 0948.68215号 Broy,Manfred(编辑)等人,《计算系统设计》。1998年7月28日至8月9日,德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹:IOS出版社。北约ASI系列。,序列号。F、 计算。系统。科学。303-366(1999年)。 审核人:J.Loeckx(科伦) MSC公司:68单位99 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{F.Somenzi},北约ASI Ser。,序列号。F、 计算。系统。科学。303--366303--366(1999;Zbl 0948.68215)
伯恩德·博尔切特;Hemaspandra,A巷。;约尔格·罗特 限制性接受足以解决等价问题。 (英文) Zbl 0948.68091号 乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。第1684124-135页(1999年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Borchert}等人,Lect。注释计算。科学。1684124-135(1999年;Zbl 0948.68091)
奥·萨蒙齐 象征性的状态探索。 (英文) Zbl 0920.68081号 Cimatti,Alessandro(编辑)等人,《符号模型检查第一届国际研讨会(SMC’99)会议记录》,作为第二届联邦逻辑会议(FLoC’99年)的一部分。意大利特伦托,1999年7月6日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。23(2),第6号电子文件(1999年)。MSC公司:60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Somenzi},in:符号模型检查第一届国际研讨会(SMC’99)会议记录,作为第二届联邦逻辑会议(FLoC’99年)的一部分。意大利特伦托,1999年7月6日。阿姆斯特丹:爱思唯尔。第6号电子文件(1999;Zbl 0920.68081) 全文: 链接
赫尔穆特·维思 如何通过OBDD对逻辑结构进行编码。 (英文) Zbl 0935.68051号 第十三届IEEE计算复杂性年会。1998年6月15日至18日在美国纽约州水牛城举行的会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。122-131 (1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Veith},in:第十三届IEEE计算复杂性年会。1998年6月15日至18日在美国纽约州布法罗举行的会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。122-131(1998年;Zbl 0935.68051)
克里斯托夫·梅内尔;哈拉尔德·萨克 奇偶校验OBDDs–用于概率验证的aBDD结构。 (英文) Zbl 0920.68079号 Baier,Christel(ed.)等人,1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率方法验证国际研讨会(PROBMIV’98)会议记录(第十三届IEEE计算机科学逻辑国际研讨会的卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。22,电子文件第11号,(1998年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{H.Sack},摘自:1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会(PROBMIV’98)论文集(第十三届IEEE计算机科学逻辑国际研讨会卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔。电子文件11号(1998;Zbl 0920.68079) 全文: 链接
尼尔斯·克拉伦德 Mona Fido:实际中的逻辑自动机连接。 (英文) Zbl 0916.68099号 尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。EACSL年会,丹麦奥胡斯,1997年8月23日至29日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1414, 311-326 (1998). 审核人:M.Steinby(图尔库) MSC公司:60年第68季度 05年3月 65年第68季度 03B25号 03B80号 PDF格式BibTeX公司 XML格式引用 \文本{N.Klarlund},勒克特。注释计算。科学。1414311--326(1998年;Zbl 0916.68099)
安娜·斯洛博多娃 关于具有多个可变阶数的OBDD的合成问题。 (英文) Zbl 0919.94053号 Brim,Luboš(编辑)等人,《计算机科学的数学基础》,1998年。第23届国际研讨会,MFCS’98。1998年8月24日至28日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1450, 645-655 (1998). 审核人:I.斯特拉兹丁斯(里加) MSC公司:94立方厘米 65年第68季度 68立方厘米 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{A.Slobodová},莱克特。注释计算。科学。1450、645--655(1998年;Zbl 0919.94053)
哈里·普鲁;阿南德·斯利瓦斯塔夫 共享BDD的分块变量排序(扩展抽象)。 (英文) Zbl 1031.68540号 Brim,Luboš(编辑)等人,《计算机科学的数学基础》,1998年。第23届国际研讨会,MFCS’98。1998年8月24日至28日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1450, 636-644 (1998). 审核人:U.Schöning(乌尔姆) MSC公司:65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Preuß}和\textit{A.Srivastav},莱克特。注释计算。科学。1450、636--644(1998年;Zbl 1031.68540)
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 状态编码对有限状态机OBDD表示的影响。 (英文) Zbl 0951.68037号 Privara,L.(编辑)等人,1997年计算机科学的数学基础。1997年8月25日至29日,斯洛伐克布拉迪斯拉发,第22届国际研讨会,MFCS’97。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1295, 408-417 (1997).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},莱克特。注释计算。科学。1295、408--417(1997年;Zbl 0951.68037)
靖子武胜;三菱Nouzoe;山岛,Shuzo 表示阈值函数的OBDD的大小和可变顺序。 (英文) Zbl 0898.94020号 姜涛(编辑)等,《计算与组合学》。第三届国际年会,COCOON’97。中国上海。1997年8月20日至22日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1276, 91-100 (1997). 审核人:H.Salum(塔林) MSC公司:94立方厘米 06E30年 68N17号 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takenaga}等人,Lect。注释计算。科学。1276,91--100(1997;Zbl 0898.94020)
Vrudhula,Sarma B.K。;马苏德·佩德拉姆;赖永特 边值二元决策图。 (英文) Zbl 0858.94037号 Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。109-132 (1996). 审核人:U.Schöning(乌尔姆) MSC公司:94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.B.K.Vrudhula}等人,in:离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。109-132(1996;Zbl 0858.94037)
埃德蒙·克拉克(Edmund M.Clarke)。;Masahiro Fujita;赵旭东 多端二进制决策图和混合决策图。 (英文) Zbl 0855.94028号 Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。93-108 (1996). 审核人:J.Hromković(基尔) MSC公司:94立方厘米 68问题65 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,in:离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。93-108(1996年;兹bl 0855.94028)
亨特,H.B。;R.E.斯特恩斯。 单调布尔公式、分配格以及逻辑、代数结构和计算结构的复杂性。 (英文) 兹比尔0605.68030 计算机科学的理论方面,第三年。交响乐团。,奥赛/法国1986年,Lect。注释计算。科学。210, 277-290 (1986).MSC公司:65年第68季度 2015年3月1日 03B25号 PDF格式BibTeX公司 XML格式