×

找到106个文档(结果1-100)

DPLL:现代可满足性求解器的核心。 (英语) Zbl 1439.68026号

Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:施普林格。Outst公司。控制日志。10,315-335(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束CNF:SAT和CSP语言在同一屋檐下。 (英语) 兹比尔1428.68284

Carro,Manuel(编辑)等人,《第32届逻辑编程国际会议的技术交流》,ICLP 2016年10月16日至21日,美国纽约州纽约市。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52,第12条,第15页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于堆的程序的可满足性模。 (英语) Zbl 1411.68028号

Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9779, 382-404 (2016).
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于随机Max 3和4-SAT的下限。 (英语) Zbl 1475.68227号

朱大明(编辑)等,算法的前沿。2016年6月30日至7月2日,中国青岛,一汽2016年第十届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9711, 269-278 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于一阶线性时序逻辑中的有限域。 (英语) 兹比尔1398.68252

Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,211-226(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

初始代数中基于变量的可满足性。 (英语) Zbl 1396.68074号

Artho,Cyrille(编辑)等人,《安全关键系统的正式技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-29509-1/pbk;978-3-3169-29510-7/电子书)。《计算机与信息科学通信》596,3-34(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Moser-Tardos分布的算法和计数方面。 (英语) Zbl 1410.05221号

Krauthgamer,Robert(编辑),第27届ACM-SIAM离散算法年度研讨会论文集,SODA 2016,弗吉尼亚州阿灵顿,美国,2016年1月10日至12日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2004年-2023年(2016年)。
PDF格式BibTeX公司 XML格式引用

二元逻辑的序方差是可判定的。 (英语) Zbl 1394.03017号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。807-816 (2016).
MSC公司:03年2月25日 03B15号机组 03B20型 65年第68季度
PDF格式BibTeX公司 XML格式引用

两合取范式的增量可满足性问题。 (英语) Zbl 1401.68119号

Arrazola-Ramírez,JoséRamón(编辑)等人,第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集,墨西哥普埃布拉,2016年8月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》328,31-45(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可见的线性动态逻辑。 (英语) Zbl 1391.68022号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第28条,第14页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率演算:可判定性和完全公理化。 (英语) Zbl 1434.03072号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。65,第25条,第18页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔约束问题的间隙三分法:Schaefer定理的推广。 (英语) Zbl 1398.68243号

Seok Hee Hong(编辑),第27届算法与计算国际研讨会,ISAAC 2016,澳大利亚悉尼,2016年12月12-14日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-026-2)。LIPIcs–莱布尼茨国际信息学论文集64,第36条,第12页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无交互\(\mu\)-演算的全局缓存。 (英语) Zbl 1392.68301号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第34条,第15页(2016)。
PDF格式BibTeX公司 XML格式引用

决定超属性。 (英语) Zbl 1392.68248号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第13条,第14页(2016年)。
MSC公司:60年第68季度 03B44号 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用

带加权对称门的有界深度电路:可满足性、下限和压缩。 (英语) Zbl 1398.68259号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第82条,16页(2016)。
MSC公司:65年第68季度 2017年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用低阶多项式对一些二进制CSP进行最优稀疏化。 (英语) Zbl 1398.68244号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第71条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用

对不比1-in-3-SAT难的可满足性问题的初步调查。 (英语) Zbl 1398.68253号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第64条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过一般框架确定电路大小下限和#SAT上限。 (英语) Zbl 1398.68193号

Faliszewski,Piotr(ed.)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第45条,16页(2016)。
MSC公司:2017年第68季度 65年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于隐藏可满足性问题概率试验的复杂性。 (英语) Zbl 1398.68209号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第12条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用

小阈值电路的平均情形下界和可满足性算法。 (英语) Zbl 1380.68191号

Raz,Ran(编辑),第31届计算复杂性会议,CCC’16,日本东京,2016年5月29日至6月1日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-008-8)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集50,第1条,35页(2016)。
MSC公司:2017年第68季度 2005年第68季度 68T20型 94立方厘米
PDF格式BibTeX公司 XML格式引用

具有硬无金刚石碎片的模态逻辑。 (英语) Zbl 1476.03021号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 1-13 (2016).
PDF格式BibTeX公司 XML格式引用

奎因带凹槽的碎片是非基本的。 (英语) Zbl 1370.03019号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学论文集62,第39条,第21页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单词的一维逻辑。 (英语) Zbl 1370.03046号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第38条,第15页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据可执行的定时I/O自动机规范构建功耗模型。 (英语) Zbl 1366.68196号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。195-204 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为子句编写声明性规范。 (英语) Zbl 1483.68378号

Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10021, 256-271 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可满足性模理论综述。 (英语) Zbl 1453.68116号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9890, 401-425 (2016).
PDF格式BibTeX公司 XML格式引用

微分等价的符号计算。 (英语) Zbl 1347.68258号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

查询引导的最大可满足性。 (英语) Zbl 1347.68188号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。109-122 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

变量可满足性的元级算法。 (英语) Zbl 1367.68256号

Lucanu,Dorel(编辑),重写逻辑及其应用。2016年4月2日至3日,第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。商会:施普林格出版社(ISBN 978-3-319-44801-5/pbk;978-3-319-44802-2/ebook)。计算机科学讲义9942,167-184(2016)。
MSC公司:68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自动搜索ARX中的线性轨迹,并应用于SPECK和Chaskey。 (英语) Zbl 1346.94112号

Manulis,Mark(编辑)等人,《应用密码学和网络安全》。2016年6月19-22日在英国吉尔福德举行的2016年ACNS第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-39554-8/pbk;978-3-3169-39555-5/电子书)。计算机科学讲座笔记9696485-499(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

DQBF的依赖方案。 (英语) Zbl 1475.68225号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 473-489 (2016).
MSC公司:68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用抽象求解非正则QBF。 (英语) Zbl 1475.68224号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 393-401 (2016).
MSC公司:68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增量确定。 (英语) Zbl 1475.68222号

Creignou,Nadia(编辑)等人,《可满足性测试的理论和应用——SAT 2016》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 375-392 (2016).
MSC公司:68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用次线性oracle查询进行MCS提取。 (英语) Zbl 1475.68220号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710,342-360(2016年)。
MSC公司:68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加速差分逻辑中基于约束的方法。 (英语) Zbl 1475.68076号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 284-301 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用mcSAT确定位向量公式。 (英语) 兹比尔1475.68226

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 249-266 (2016).
MSC公司:68兰特 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用SAT解算器计算最大不可避免子图。 (英语) Zbl 1475.68236号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 196-211 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分支宽度的SAT方法。 (英语) Zbl 1475.68219号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710179-195(2016年)。
MSC公司:68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

鸽子洞原理线性组合分裂的严格上限。 (英语) Zbl 1475.68138号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 77-84 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机Max(r)-Sat的归一化自相关长度以概率收敛到\(1-1/2^r)/r。 (英语) Zbl 1478.68200号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 60-76 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔公式和同构的解图。 (英语) Zbl 1475.68223号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5日至8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 29-44 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过平滑的图片实现令人满意的效果。 (英语) Zbl 1475.68137号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710,13-28(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

受限CNF公式的参数化编译下限。 (英语) Zbl 1475.68221号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 3-12 (2016).
PDF格式BibTeX公司 XML格式引用

线性时间微积分在有限迹上的可满足性。 (英语) 兹比尔1476.68178

Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9797, 611-622 (2016).
MSC公司:68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) Zbl 1344.68198号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。
MSC公司:68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用

一种基于符号变换的快速可逆逻辑综合算法。 (英语) Zbl 1480.94056号

Devitt,Simon(编辑)等人,《可逆计算》。2016年7月7日至8日,第八届国际会议,RC 2016,意大利博洛尼亚。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9720, 307-321 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有限制量化和有限枚举的三分类集合论片断的决策问题。 (英语) Zbl 1345.03020号

Crescenzi,Pierluigi(ed.)等人,《2015年ICTCS会议录》,第16届意大利理论计算机科学会议,意大利费伦泽,2015年9月9日至11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记322,69-86,仅电子版(2016)。
PDF格式BibTeX公司 XML格式引用

下一家威士忌酒吧。 (英语) 兹比尔1475.68136

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9691, 41-56 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序重写和同余闭包。 (英语) Zbl 1475.68142号

Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 493-509 (2016).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间推理的趋势:约束、图和偏序集。 (英语) 兹比尔1460.68100

Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9582, 290-304 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非迭代概率证明逻辑的复杂性。 (英语) Zbl 1459.03026号

Marc Gyssens等人,《信息和知识系统基础》。2016年3月7日至11日,第九届国际研讨会,FoIKS 2016,奥地利林茨。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9616, 292-310 (2016).
PDF格式BibTeX公司 XML格式引用

计算机科学中的时间逻辑。有限状态系统。 (英语) Zbl 1380.68003号

剑桥理论计算机科学丛书58.剑桥:剑桥大学出版社(ISBN 978-1-107-02836-4/hbk;978-1-139-23611-9/电子书)。viii,第744页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尽可能接近。 (英语) Zbl 1475.68217号

Kaykobad,Mohammad(编辑)等人,WALCOM:算法和计算。2016年3月29日至31日,尼泊尔加德满都WALCOM 2016第十届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9627, 222-235 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合实例的可满足性。 (英语) Zbl 1334.68093号

2016年1月14日至16日,美国马萨诸塞州剑桥市ITCS’16第七届ACM理论计算机科学创新会议论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4057-1)。393-402 (2016).
MSC公司:65年第68季度 2017年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前3名

软件