斯里尼瓦桑阿鲁纳查拉姆;伊利亚斯·科齐里亚斯 通过自相关实现难以满足的3-SAT实例。 (英语) Zbl 1484.68145号 J.满意。布尔模型。计算。 10(2016-2019), 11-22 (2016).MSC公司:68兰特 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Arunachalam}和\textit{I.Kotsireas},J.Satisf。布尔模型。计算。10、11-22(2016;Zbl 1484.68145) 全文: 内政部
洛夫兰,唐纳德;阿什什·萨巴沃尔;巴特·塞尔曼 DPLL:现代可满足性求解器的核心。 (英语) Zbl 1439.68026号 Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:施普林格。Outst公司。控制日志。10,315-335(2016)。MSC公司:68伏15 68-03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Loveland}等人,Outst。控制日志。10、315--335(2016;Zbl 1439.68026) 全文: 内政部
Sattath,或;Siddhardh C.莫兰普迪。;Chris R.劳曼。;罗德里奇·莫斯纳 当局部哈密顿量必须是无阻的时。 (英语) Zbl 1435.68105号 程序。国家。阿卡德。科学。美国 113,第23号,6433-6437(2016).MSC公司:2012年第68季度 60二氧化碳 第68季度87 68卢比 68兰特 81页68 PDF格式BibTeX公司 XML格式引用 \textit{O.Sattath}等人,Proc。国家。阿卡德。科学。美国113,No.23,6433--6437(2016;Zbl 1435.68105) 全文: arXiv公司
De Cat,Broes公司;尤利亚·利勒 约束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年)。MSC公司:68T27型 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.DeCat}和\textit{Y.Lierler},OASIcs--OpenAccess服务器。通知。52,第12条,第15页(2016年;兹bl 1428.68284) 全文: 内政部
Le,Quang Loc公司;孙骏;魏恩根·钦 基于堆的程序的可满足性模。 (英语) Zbl 1411.68028号 Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9779, 382-404 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Q.L.Le}等人,Lect。注释计算。科学。9779、382--404(2016;Zbl 1411.68028) 全文: 内政部 链接
周广燕 关于随机Max 3和4-SAT的下限。 (英语) Zbl 1475.68227号 朱大明(编辑)等,算法的前沿。2016年6月30日至7月2日,中国青岛,一汽2016年第十届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9711, 269-278 (2016).MSC公司:68兰特 60二氧化碳 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhou},莱克特。注释计算。科学。9711,269--278(2016;Zbl 1475.68227) 全文: 内政部
马雷克·赛根;戴尔、霍尔格;丹尼尔·洛克斯塔诺夫;达尼尔·马克思;杰斯珀·奈德洛夫;冈本义雄;拉莫汗,帕图里;萨基特Saurabh;瓦尔斯特伦,马格纳斯 关于像CNF-SAT这样困难的问题。 (英语) Zbl 1442.68064号 ACM事务处理。算法 第12号第3条第41条第24页(2016年).MSC公司:2017年第68季度 68卢比 68兰特 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Cygan}等人,ACM Trans。算法12,第3号,第41条,24页(2016;Zbl 1442.68064) 全文: 内政部 arXiv公司 链接
丹尼斯·库珀伯格;朱利安·布鲁内尔;戴维·谢穆伊尔 关于一阶线性时序逻辑中的有限域。 (英语) 兹比尔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)。MSC公司:65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuperberg}等人,Lect。注释计算。科学。9938,211-226(2016;Zbl 1398.68252) 全文: 内政部 哈尔
何塞·梅塞盖尔 初始代数中基于变量的可满足性。 (英语) 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)。MSC公司:68问题65 18立方厘米 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Commun(公共)。计算。信息科学。596、3--34(2016;Zbl 1396.68074) 全文: 内政部
海蒂·盖鲍尔;提博尔·萨博;塔尔多斯,加博 SAT的局部引理是渐近紧的。 (英语) Zbl 1426.68121号 美国临床医学杂志 63,第5号,第43条,32页(2016年).MSC公司:65年第68季度 05C35号 05年40月 2017年第68季度 68卢比 91A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Gebauer}等人,J.ACM 63,第5号,第43条,32页(2016年;Zbl 1426.68121) 全文: 内政部 arXiv公司
克里斯蒂安·赫尔曼;马丁·齐格勒 量子可满足性的计算复杂性。 (英语) Zbl 1426.68123号 美国临床医学杂志 63,第2号,第19条,第31页(2016年).MSC公司:65年第68季度 03D78号 2012年第68季度 2017年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Herrmann}和\textit{M.Ziegler},J.ACM 63,第2号,第19条,第31页(2016;Zbl 1426.68123) 全文: 内政部 arXiv公司
大卫·G·哈里斯。;阿拉文·斯里尼瓦桑 Moser-Tardos分布的算法和计数方面。 (英语) Zbl 1410.05221号 Krauthgamer,Robert(编辑),第27届ACM-SIAM离散算法年度研讨会论文集,SODA 2016,弗吉尼亚州阿灵顿,美国,2016年1月10日至12日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2004年-2023年(2016年)。MSC公司:05年40月 05C15号 2015年1月5日 60二氧化碳 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Harris}和\textit{A.Srinivasan},in:第27届ACM-SIAM离散算法年度研讨会论文集,SODA 2016,弗吉尼亚州阿灵顿,美国,2016年1月10-12日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2004年-2023年(2016年;Zbl 1410.05221) 全文: 内政部 arXiv公司
圣塞贡多·巴勃罗;阿列克谢·尼古拉耶夫;米哈伊尔·巴森;帕诺斯·帕达洛斯(Panos M.Pardalos)。 改进了亚彩色边界,实现了精确的最大团搜索。 (英语) Zbl 1387.05257号 维尔纽斯Informatica 27,第2期,463-487(2016).MSC公司:05C85号 05C15号 05C69号 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.San}等人,Informatica,维尔纽斯27,No.2,463--487(2016;Zbl 1387.05257) 全文: 链接
托马斯·泽姆;弗雷德里克·哈瓦特 二元逻辑的序方差是可判定的。 (英语) 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格式引用 \textit{T.Zeume}和\textit{F.Harwath},摘自:2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。807--816(2016;Zbl 1394.03017) 全文: 内政部 arXiv公司
吉列尔莫·德伊塔·卢纳;马西亚尔·罗梅罗,J.雷蒙多;何塞·埃尔南德斯。 两合取范式的增量可满足性问题。 (英语) Zbl 1401.68119号 Arrazola-Ramírez,JoséRamón(编辑)等人,第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集,墨西哥普埃布拉,2016年8月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》328,31-45(2016)。MSC公司:65年第68季度 03B05号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.De Ita Luna}等人,《电子》。注释Theor。计算。科学。328、31-45(2016;Zbl 1401.68119) 全文: 内政部
亚历山大·韦内特;马丁·齐默尔曼 可见的线性动态逻辑。 (英语) 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).MSC公司:68号30 03B44号 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinert}和\textit{M.Zimmermann},LIPIcs——莱布尼茨国际程序。通知。65,第28条,第14页(2016;Zbl 1391.68022) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 概率演算:可判定性和完全公理化。 (英语) Zbl 1434.03072号 Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。65,第25条,第18页。(2016).MSC公司:03B45号 03年2月25日 03B48号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,LIPIcs——莱布尼茨国际期刊。通知。65,第25条,第18页(2016;Zbl 1434.03072) 全文: 内政部
露西·哈姆 布尔约束问题的间隙三分法: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年)。MSC公司:65年第68季度 2017年第68季度 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{L.Ham},LIPIcs——莱布尼茨国际程序。通知。64,第36条,第12页(2016年;兹bl 1398.68243) 全文: 内政部
丹尼尔·豪斯曼;卢茨·施罗德;克里斯托夫·艾格 无交互\(\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)。MSC公司:68问题85 03B44号 03B45号 03G30型 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人,LIPIcs——莱布尼茨国际程序。通知。59,第34条,第15页(2016年;Zbl 1392.68301) 全文: 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩 决定超属性。 (英语) 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格式引用 \textit{B.Finkbeiner}和\textit{C.Hahn},LIPIcs——莱布尼茨国际程序。通知。59,第13条,第14页(2016年;Zbl 1392.68248) 全文: 内政部 arXiv公司
Sakai、Takayuki;濑户和久;铃木Tamaki;纯一县Teruyama 带加权对称门的有界深度电路:可满足性、下限和压缩。 (英语) 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格式引用 \textit{T.Sakai}等人,LIPIcs——莱布尼茨国际程序。通知。58,第82条,第16页(2016年;Zbl 1398.68259) 全文: 内政部
Bart M.P.Jansen。;阿斯特里德·彼得斯 使用低阶多项式对一些二进制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年)。MSC公司:65年第68季度 2017年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.M.P.Jansen}和\textit{A.Pieterse},LIPIcs——莱布尼茨国际程序。通知。58,第71条,第14页(2016年;Zbl 1398.68244) 全文: 内政部 arXiv公司
维克托·拉盖克维斯特;罗伊,比曼 对不比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年)。MSC公司:65年第68季度 08A70号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{B.Roy},LIPIcs——莱布尼茨国际程序。通知。58,第64条,第14页(2016年;Zbl 1398.68253) 全文: 内政部
亚历山大·戈洛夫涅夫;亚历山大·库利科夫。;亚历山大·斯马尔。;铃木Tamaki 通过一般框架确定电路大小下限和#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格式引用 \textit{A.Golovnev}等人,LIPIcs——莱布尼茨国际程序。通知。58,第45条,第16页(2016;Zbl 1398.68193) 全文: 内政部
伊泰·阿拉德;亚当·博兰德;丹尼尔·格里尔;米克洛斯·桑塔;阿瑟·桑达拉姆;张胜宇 关于隐藏可满足性问题概率试验的复杂性。 (英语) 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年)。MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Arad}等人,LIPIcs——莱布尼茨国际程序。通知。58,第12条,第14页(2016年;兹bl 1398.68209) 全文: 内政部 arXiv公司
阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;乔迪,飞机;若昂·西尔瓦侯爵 最大可伪造性。定义、算法和应用。 (英语) Zbl 1373.68378号 AI通讯。 29,第2351-370号(2016).MSC公司:68T20型 90C09型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,AI Commun。29,第2号,351--370(2016;Zbl 1373.68378) 全文: 内政部
陈瑞文;拉胡尔·桑塔纳姆;斯里尼瓦桑 小阈值电路的平均情形下界和可满足性算法。 (英语) 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格式引用 \textit{R.Chen}等人,LIPIcs——莱布尼茨国际程序。通知。50,第1条,35 p.(2016;Zbl 1380.68191) 全文: 内政部 arXiv公司
詹姆斯·西克鲁纳;科林·德·拉·希格拉 PCFG的语法推理应用于语言建模和无监督分析。 (英语) Zbl 1371.68132号 芬丹。通知。 146,第4期,379-402(2016).MSC公司:68问题32 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Scicluna}和\textit{C.de la Higuera},Fundam。通知。146,编号4379-402(2016;兹bl 1371.68132) 全文: 内政部
安东尼斯·阿奇利奥斯 具有硬无金刚石碎片的模态逻辑。 (英语) Zbl 1476.03021号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 1-13 (2016).MSC公司:03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Achilleos},莱克特。注释计算。科学。9537,1-13(2016;Zbl 1476.03021) 全文: 内政部 arXiv公司
科尔迪奇,斯特凡·洛伊。 沉降算法在求解max-sat问题中的应用。 (英语) Zbl 1458.90548号 数学。蒙蒂斯尼格里 36, 45-57 (2016).MSC公司:90C27型 68T20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.Lj.Kordić},数学。蒙蒂斯尼格里36,45-57(2016;Zbl 1458.90548)
伊恩·普拉特·哈特曼;斯瓦斯特、维斯劳;利迪亚·坦德拉 奎因带凹槽的碎片是非基本的。 (英语) 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).MSC公司:03B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}等人,LIPIcs——莱布尼茨国际程序。通知。62,第39条,第21页(2016;Zbl 1370.03019) 全文: 内政部
伊曼纽尔·基伦斯基 单词的一维逻辑。 (英语) 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).MSC公司:03B70号 03B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieronski},LIPIcs——莱布尼茨国际程序。通知。62,第38条,第15页(2016;Zbl 1370.03046) 全文: 内政部
林,云国;李永明 外源量子马尔可夫链与可达性分析。 (中文。英文摘要) Zbl 1389.81011号 J.软件。 27,第12期,2994-3002(2016).MSC公司:81页68 2012年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}和\textit{Y.Li},J.Softw。27,第12号,2994--3002(2016;Zbl 1389.81011) 全文: 内政部
维托尔德·查拉托尼克;彼得·维特科夫斯基 带有计数和树的双变量逻辑。 (英语) Zbl 1367.03063号 ACM事务处理。计算。日志。 17号第4条第31条第27页(2016年).MSC公司:03C13号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},ACM Trans。计算。日志。17,第4号,第31条,第27页(2016年;Zbl 1367.03063) 全文: 内政部
巴博特,贝努伊特;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂 根据可执行的定时I/O自动机规范构建功耗模型。 (英语) Zbl 1366.68196号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。195-204 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,《第19届ACM混合系统国际会议论文集:计算与控制》,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。195-204(2016年;Zbl 1366.68196) 全文: 内政部
周俊平;李瑞智;曾志勇;尹明浩 用于解决#SMT问题的局部搜索算法。 (中文。英文摘要) Zbl 1374.68536号 J.软件。 27,第9期,2185-2198(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhou}等人,J.Softw。27,第9号,2185--2198(2016;Zbl 1374.68536) 全文: 内政部
马塞尔·马雷蒂奇 关于可满足树。 (英语) Zbl 1365.03014号 国际期刊申请。数学。 29,第5号,569-582(2016).MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Maretić},国际期刊申请。数学。29,第5号,569--582(2016;Zbl 1365.03014) 全文: 内政部
卡洛斯·安索特吉;乔尔·加布;Levy,乔迪 在基于SAT的maxsat算法中开发子问题优化。 (英语) Zbl 1360.90313号 J.启发式 22,第1期,1-53页(2016年).MSC公司:90C60型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《启发式22》,第1期,第1-53期(2016年;Zbl 1360.90313) 全文: 内政部
哈科布扬,T.A。 半群中的传递超恒等式。 (英语) 邮编:1472.20126 程序。埃里温州立大学物理系。数学。科学。 2016年第3期(241)、52-55(2016).MSC公司:2007年7月20日 08A05级 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Hakobyan},程序。埃里温州立大学物理系。数学。科学。2016年,第3号(241),52-55(2016;Zbl 1472.20126)
罗伯托·维戈;弗莱明·尼尔森;尼尔森,Hanne Riis 发现、量化和显示攻击。 (英语) Zbl 1405.68024号 日志。方法计算。科学。 12,第4号,第5号论文,39页(2016).MSC公司:64岁以下 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Vigo}等人,日志。方法计算。科学。12,第4号,第5号论文,39页(2016;Zbl 1405.68024) 全文: 内政部 arXiv公司
拉胡尔·夏尔马;亚历克斯·艾肯 从不变量检查到使用随机搜索的不变量推理。 (英语) Zbl 1358.68197号 形式方法系统。设计。 48,第3期,235-256(2016).MSC公司:60年第68季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sharma}和\textit{A.Aiken},《形式方法系统》。设计。48,编号3235-256(2016;兹bl 1358.68197) 全文: 内政部
梁天一;安德鲁·雷诺兹;内斯塔·齐斯卡里泽;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 字符串约束的高效SMT解算器。 (英语) Zbl 1404.68135号 形式方法系统。设计。 第3号第48页,206-234页(2016年).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Liang}等人,《形式方法系统》。设计。48,第3号,206--234(2016;Zbl 1404.68135) 全文: 内政部
安维什·科穆拉维利;阿里·古芬克尔;萨加·查基 递归程序的基于SMT的模型检查。 (英语) 兹比尔1358.68072 形式方法系统。设计。 48,第3期,175-205(2016).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Komuravelli}等人,《形式方法系统》。设计。48,第3号,175--205(2016;Zbl 1358.68072) 全文: 内政部 arXiv公司
努雷丁·布赫马拉 组合优化问题的可变邻域搜索策略增强元神经网络。 (英语) Zbl 1404.68140号 高级申请。离散数学。 17,第2期,125-149(2016).MSC公司:68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Bouhmala},高级应用程序。离散数学。17,第2号,第125--149条(2016;Zbl 1404.68140) 全文: 内政部 链接
约塞普·阿格利奇;Béjar,拉蒙;塞萨尔·费尔南德斯;卡莱斯·马图;飞机,乔迪 关于2SAT-MaxOnes上MaxSAT和MinSAT解算器的性能。 (英语) Zbl 1401.68283号 安。数学。Artif公司。智力。 77,编号1-2,43-66(2016).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人,Ann.Math。Artif公司。因特尔。77号1--2、43-66(2016;Zbl 1401.68283) 全文: 内政部 链接
克里斯蒂安·赫尔曼;铃本,靖国;马丁·齐格勒 关于模格及其相关结构的一致性问题。 (英语) 兹比尔1373.06006 国际代数计算杂志。 26,第8号,1573-1595(2016). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:06C05号机组 08A50号 03年2月25日 03G15年 15A75号 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{C.Herrmann}等人,《国际代数计算》。26,第8号,1573--1595(2016;Zbl 1373.06006) 全文: 内政部 arXiv公司
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿米恩·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2期,323-376(2016).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: 内政部
安托万·杰尼特里尼;塞西尔·梅勒 随机和/或树的广义和商模型及其在可满足性中的应用。 (英语) Zbl 1355.68199号 算法 76,第4期,1106-1138(2016).MSC公司:68卢比 05二氧化碳 05C80号 06E30年 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Genitrini}和\textit{C.Mailler},《算法》76,第4期,1106--1138(2016;Zbl 1355.68199) 全文: 内政部 arXiv公司
埃莉·德·帕纳菲厄;丹尼·加迪;伯恩哈德·吉滕贝格;马库斯·库巴 2-X或重访:函数的可满足性和概率。 (英语) Zbl 1352.68193号 算法 76,第4期,1035-1076(2016).MSC公司:68卢比 06E30年 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{E.de Panafieu}等人,Algorithmica 76,No.4,1035--1076(2016;Zbl 1352.68193) 全文: 内政部 arXiv公司
马丁·盖布瑟;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布;沙哈卜·塔沙罗菲 为子句编写声明性规范。 (英语) Zbl 1483.68378号 Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10021, 256-271 (2016).MSC公司:68T27型 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。10021256-271(2016;Zbl 1483.68378) 全文: 内政部
陈瑞文;瓦伦丁·卡巴内茨 小型线性电路的相关边界和#SAT算法。 (英语) Zbl 1353.68113号 西奥。计算。科学。 654, 2-10 (2016).MSC公司:65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}和\textit{V.Kabanets},Theor。计算。科学。654,2-10(2016年;兹bl 1353.68113) 全文: 内政部
宋,傅;吴志林 关于数据变量量化的时序逻辑:可判定性和复杂性。 (英语) Zbl 1353.68181号 Inf.计算。 251, 104-139 (2016).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},Inf.Comput。251104--139(2016年;Zbl 1353.68181) 全文: 内政部
戴维·莫尼奥 可满足性模理论综述。 (英语) Zbl 1453.68116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9890, 401-425 (2016).MSC公司:68兰特 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},莱克特。注释计算。科学。9890401-425(2016;Zbl 1453.68116) 全文: 内政部 arXiv公司
丹尼尔·保卢斯玛;弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 有界模树宽CNF公式的模型计数。 (英语) Zbl 1353.68137号 算法 76,第1期,168-194(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Paulusma}等人,Algorithmica 76,No.1,168--194(2016;Zbl 1353.68137) 全文: 内政部 链接
李平科;金庆伟 关于双极max-min方程的求解。 (英语) Zbl 1389.90368号 凯贝内提卡 52,第4期,514-530(2016).MSC公司:90摄氏度70 49立方米7 PDF格式BibTeX公司 XML格式引用 \textit{P.Li}和\textit{Q.Jin},Kybernetika 52,No.4,514--530(2016;Zbl 1389.90368) 全文: 内政部 链接
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 微分等价的符号计算。 (英语) 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).MSC公司:68问题85 60J28型 60年第68季度 68瓦30 92立方厘米 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《第43届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集》,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)。137-150(2016;Zbl 1347.68258) 全文: 内政部 链接
张欣;拉维·曼格尔;阿迪蒂亚·诺里。;马约·奈克 查询引导的最大可满足性。 (英语) 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).MSC公司:65年第68季度 68号30 68第20页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,in:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。109-122(2016;Zbl 1347.68188) 全文: 内政部
克里斯托弗·摩尔 随机规则精确覆盖中的相变。 (英语) Zbl 1353.68210号 亨利·庞加莱研究所。物理学。互动。 3,第3号,349-362(2016).MSC公司:第68季度87 05C80号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Moore},安·Inst.亨利·蓬卡雷·D·库姆。物理学。互动。3,编号:3349-362(2016年;兹bl 1353.68210) 全文: 内政部 arXiv公司
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 (英语) 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格式引用 \textit{S.Skeirik}和\textit{J.Meseguer},Lect。注释计算。科学。9942,167--184(2016;Zbl 1367.68256) 全文: 内政部 链接
科恩,D。;J·克兰普顿。;A.加加林。;古汀,G。;琼斯,M。 针对计数约束设计的工作流可满足性问题的算法。 (英语) Zbl 1354.90105号 J.库姆。最佳方案。 32,第1期,3-24(2016).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,J.Comb。最佳方案。32,第1号,第3--24号(2016;Zbl 1354.90105) 全文: 内政部 arXiv公司 链接
宋,傅;吴志林 对正式模型的调查,以推断无限数据值。 (中文。英文摘要) Zbl 1363.68093号 J.软件。 27,第3号,682-690(2016).MSC公司:65年第68季度 05年3月 68个P01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},J.Softw。27,第3号,682--690(2016;Zbl 1363.68093) 全文: 内政部
卢、徐;段振华;田聪 二维逻辑PPTL(^{mathrm{SL}})的可满足性检验。 (中文。英文摘要) 兹比尔1363.68095 J.软件。 27,第3号,670-681(2016).MSC公司:60年第68季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,J.Softw。27,第3号,670--681(2016;Zbl 1363.68095) 全文: 内政部
刘云文;王庆菊;文森特·里杰曼 自动搜索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)。MSC公司:94A60型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。注释计算。科学。9696、485--499(2016;Zbl 1346.94112) 全文: 内政部 链接
吉拉尔德斯·克鲁,杰苏斯;约尔迪·利维 生成具有社区结构的SAT实例。 (英语) Zbl 1385.68041号 Artif公司。智力。 238, 119-134 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Giráldez-Cru}和\textit{J.Levy},Artif。因特尔。238119--134(2016;Zbl 1385.68041) 全文: 内政部
格雷戈里·古汀;斯特凡·克拉奇;瓦尔斯特伦,马格纳斯 工作流可满足性问题的多项式核和用户约简。 (英语) Zbl 1350.68143号 算法 75,第2期,383-402(2016).MSC公司:65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}等人,Algorithmica 75,No.2,383--402(2016;Zbl 1350.68143) 全文: 内政部 arXiv公司
拉尔夫·威默;克里斯托夫·斯科尔;卡里娜·威默;贝恩德·贝克尔 DQBF的依赖方案。 (英语) Zbl 1475.68225号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 473-489 (2016).MSC公司:68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人,Lect。注释计算。科学。9710473-489(2016年;Zbl 1475.68225) 全文: 内政部
Leander Tentrup公司 使用抽象求解非正则QBF。 (英语) Zbl 1475.68224号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 393-401 (2016).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup},莱克特。注释计算。科学。9710393--401(2016;Zbl 1475.68224) 全文: 内政部
马库斯·拉贝。;Sanjit A.Seshia。 增量确定。 (英语) Zbl 1475.68222号 Creignou,Nadia(编辑)等人,《可满足性测试的理论和应用——SAT 2016》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 375-392 (2016).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}和\textit{S.A.Seshia},莱克特。注释计算。科学。9710,375-392(2016年;兹比尔1475.68222) 全文: 内政部 链接
卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵 使用次线性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格式引用 \textit{C.Mencía}等人,Lect。注释计算。科学。9710,342--360(2016;Zbl 1475.68220) 全文: 内政部
洛伦佐·坎迪戈;丹尼尔·拉拉兹;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 加速差分逻辑中基于约束的方法。 (英语) Zbl 1475.68076号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 284-301 (2016).MSC公司:68号30 03B70号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Candeago}等人,Lect。注释计算。科学。9710,284--301(2016;Zbl 1475.68076) 全文: 内政部 链接
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 用mcSAT确定位向量公式。 (英语) 兹比尔1475.68226 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 249-266 (2016).MSC公司:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,Lect。注释计算。科学。9710,249--266(2016;Zbl 1475.68226) 全文: 内政部
Cuong,C.K。;Heule,M.J.H。 使用SAT解算器计算最大不可避免子图。 (英语) Zbl 1475.68236号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 196-211 (2016).MSC公司:68兰特 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Cuong}和\textit{M.J.H.Heule},Lect。注释计算。科学。9710,196--211(2016;Zbl 1475.68236) 全文: 内政部
内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 分支宽度的SAT方法。 (英语) Zbl 1475.68219号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710179-195(2016年)。MSC公司:68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Lodha}等人,Lect。注释计算。科学。9710、179--195(2016年;Zbl 1475.68219) 全文: 内政部 链接
奥帕林,维塞沃洛德 鸽子洞原理线性组合分裂的严格上限。 (英语) Zbl 1475.68138号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 77-84 (2016).MSC公司:65年第68季度 20层03 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Oparin},莱克特。注释计算。科学。9710,77--84(2016;Zbl 1475.68138) 全文: 内政部
丹尼尔·贝伦德;Yochai Twitto 随机Max(r)-Sat的归一化自相关长度以概率收敛到\(1-1/2^r)/r。 (英语) Zbl 1478.68200号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 60-76 (2016).MSC公司:68兰特 60F05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}和\textit{Y.Twitto},Lect。注释计算。科学。9710,60-76(2016;Zbl 1478.68200) 全文: 内政部
帕特里克·沙普芬内克;雅各布·托兰 布尔公式和同构的解图。 (英语) Zbl 1475.68223号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5日至8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 29-44 (2016).MSC公司:68兰特 05C60型 65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Scharpfenecker}和\textit{J.Torán},莱克特。注释计算。科学。9710,29-44(2016;Zbl 1475.68223) 全文: 内政部
德奥利维拉·奥利维拉,马特乌斯 通过平滑的图片实现令人满意的效果。 (英语) Zbl 1475.68137号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710,13-28(2016年)。MSC公司:65年第68季度 20层03 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila},莱克特。注释计算。科学。9710,13-28(2016;Zbl 1475.68137) 全文: 内政部
斯特凡·门格尔 受限CNF公式的参数化编译下限。 (英语) Zbl 1475.68221号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 3-12 (2016).MSC公司:68兰特 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Mengel},莱克特。注释计算。科学。9710,3--12(2016;Zbl 1475.68221) 全文: 内政部 arXiv公司
刘、姚;段振华;田聪;崔斌 线性时间微积分在有限迹上的可满足性。 (英语) 兹比尔1476.68178 Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9797, 611-622 (2016).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。注释计算。科学。9797611--622(2016;Zbl 1476.68178) 全文: 内政部
利波·巴托;马钦·科齐克 稳健可解的约束满足问题。 (英语) Zbl 1350.68127号 SIAM J.计算。 45,第4期,1646-1669(2016).MSC公司:65年第68季度 68瓦20 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}和\textit{M.Kozik},SIAM J.Compute。45,第4号,1646--1669(2016;Zbl 1350.68127) 全文: 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\(^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格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。9791,28-43(2016;Zbl 1344.68198) 全文: 内政部 arXiv公司
马蒂亚斯·苏肯;杰哈德·杜克(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) 全文: 内政部
坎通纳,多梅尼科;玛丽亚娜·尼科洛西·阿斯蒙多 具有限制量化和有限枚举的三分类集合论片断的决策问题。 (英语) Zbl 1345.03020号 Crescenzi,Pierluigi(ed.)等人,《2015年ICTCS会议录》,第16届意大利理论计算机科学会议,意大利费伦泽,2015年9月9日至11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记322,69-86,仅电子版(2016)。MSC公司:03年2月25日 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{M.Nicolosi-Asmundo},电子。注释Theor。计算。科学。322,69-86(2016年;兹bl 1345.03020) 全文: 内政部 arXiv公司
Mike Behrisch先生;米基·赫尔曼;斯特凡·门格尔;格诺·萨尔泽 下一家威士忌酒吧。 (英语) 兹比尔1475.68136 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9691, 41-56 (2016).MSC公司:65年第68季度 06E30年 68兰特 2017年第68季度 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Behrisch}等人,Lect。注释计算。科学。9691,41-56(2016;Zbl 1475.68136) 全文: 内政部
尤塞夫·哈马迪;萨伊德·贾布尔;拉赫达尔·塞伊斯 我们可以从命题可满足性中的冲突中学到什么。 (英语) Zbl 1411.91118号 安·Oper。物件。 240,第1期,13-37(2016).MSC公司:91A26型 68瓦30 90C09型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hamadi}等人,Ann.Oper。第240号决议,第1号,第13-37号(2016年;Zbl 1411.91118) 全文: 内政部
杰罗德·贾格尔;Sharlee Climer公司;张伟雄 基于整数规划、分枝定界和布尔可满足性的完全简约单倍型推理问题及算法。 (英语) Zbl 1362.92046号 J.离散算法 37, 68-83 (2016).MSC公司:92D10型 65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,《离散算法》37,68–83(2016;Zbl 1362.92046) 全文: 内政部
维托尔德·查拉托尼克;彼得·维特科夫斯基 具有计数和线性顺序的双变量逻辑。 (英语) Zbl 1448.03006号 日志。方法计算。科学。 12,第2号,第8号论文,31页(2016年).MSC公司:03年2月25日 03B20型 03C13号机组 03C80号 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},Log。方法计算。科学。12,第2号,第8号论文,31页(2016;Zbl 1448.03006) 全文: 内政部
何塞·梅塞盖尔 有序重写和同余闭包。 (英语) Zbl 1475.68142号 Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 493-509 (2016).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},莱克特。注释计算。科学。9634,493--509(2016;Zbl 1475.68142) 全文: 内政部
克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 使用带有触发器的公理向SMT求解器添加决策过程。 (英语) 兹比尔1356.68187 J.汽车。推理 56,第4期,387-457(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,J.Autom。推理56,No.4,387--457(2016;Zbl 1356.68187) 全文: 内政部 哈尔
张汉涛 满意度模SAT的实验。 (英语) Zbl 1356.68208号 J.汽车。推理 56,第2期,143-154(2016).MSC公司:68吨15 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理56,No.2,143--154(2016;Zbl 1356.68208) 全文: 内政部
Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
马蒂亚斯·施莱普费尔;格奥尔格·魏森巴赫 超分辨率、子句和局部证明的标记插值系统。 (英语) Zbl 1356.68199号 J.汽车。推理 57,第1期,3-36(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher},J.奥托姆。推理57,No.1,3--36(2016;Zbl 1356.68199) 全文: 内政部
杰奎琳·戴金。;米尔卡·米勒;莱恩,乔 时间推理的趋势:约束、图和偏序集。 (英语) 兹比尔1460.68100 Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9582, 290-304 (2016).MSC公司:68T27型 06A07年 68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Daykin}等人,Lect。注释计算。科学。9582290--304(2016年;Zbl 1460.68100) 全文: 内政部
艾奥尼斯·科基尼 非迭代概率证明逻辑的复杂性。 (英语) Zbl 1459.03026号 Marc Gyssens等人,《信息和知识系统基础》。2016年3月7日至11日,第九届国际研讨会,FoIKS 2016,奥地利林茨。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9616, 292-310 (2016).MSC公司:03B48号 03B42型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Kokkinis},莱克特。注释计算。科学。9616,292--310(2016;Zbl 1459.03026) 全文: 内政部 arXiv公司
费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 判定概率自动机弱互模拟:理论与实践。 (英语) Zbl 1335.68117号 正式Asp。计算。 28,第1号,109-143(2016).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人,《正式评论》。计算。28,第1号,109--143(2016;Zbl 1335.68117) 全文: 内政部
斯特凡·德姆里;瓦伦丁·戈兰科;马丁·兰格 计算机科学中的时间逻辑。有限状态系统。 (英语) Zbl 1380.68003号 剑桥理论计算机科学丛书58.剑桥:剑桥大学出版社(ISBN 978-1-107-02836-4/hbk;978-1-139-23611-9/电子书)。viii,第744页。(2016). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68-02 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《计算机科学中的时间逻辑》。有限状态系统。剑桥:剑桥大学出版社(2016;Zbl 1380.68003) 全文: 内政部
Mike Behrisch先生;米基·赫尔曼;斯特凡·门格尔;格诺·萨尔泽 尽可能接近。 (英语) Zbl 1475.68217号 Kaykobad,Mohammad(编辑)等人,WALCOM:算法和计算。2016年3月29日至31日,尼泊尔加德满都WALCOM 2016第十届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9627, 222-235 (2016).MSC公司:68兰特 2017年第68季度 65年第68季度 68瓦40 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{M.Behrisch}等人,Lect。注释计算。科学。9627、222--235(2016年;Zbl 1475.68217) 全文: 内政部
Zuzana Haniková;彼得·萨维克 \(\mathrm)中的术语可满足性{FL}(佛罗里达州)_{\mathrm{ew}}\)-代数。 (英语) Zbl 1418.03193号 西奥。计算。科学。 631, 1-15 (2016).MSC公司:03G25号 03B47号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Haniková}和\textit{P.Savick},Theor。计算。科学。631,1--15(2016;Zbl 1418.03193) 全文: 内政部 arXiv公司
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 具有约束的\(\ operatorname{ECTL}^\ast\)的可满足性。 (英语) Zbl 1358.03032号 J.计算。系统。科学。 82,5号,826-855(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B44号 03B70号 03B15号机组 60年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{C.Carapelle}等人,J.计算。系统。科学。82,第5号,826--855(2016;Zbl 1358.03032) 全文: 内政部
陈瑞文;拉胡尔·桑塔纳姆 混合实例的可满足性。 (英语) 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格式引用 \textit{R.Chen}和\textit{R.Santhanam},《第七届ACM理论计算机科学创新会议论文集》,ITCS’16,美国马萨诸塞州剑桥,2016年1月14-16日。纽约州纽约市:计算机协会(ACM)。393-402(2016;Zbl 1334.68093) 全文: 内政部 链接