雅罗斯拉夫·本迪克;Kuldeep S.梅尔。 计算最小不可满足子集。 (英语) 兹比尔1493.68259 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).MSC公司:68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}和\textit{k.S.Meel},莱克特。注释计算。科学。12760313--336(2021年;Zbl 1493.68259) 全文: 内政部
西蒙·波特基斯·兹瓦特;佩卢佩西,印蒂;卡门·马丁内斯·巴博萨;范·埃尔特伦,阿扬;史蒂夫·麦克米兰 引力动力学多尺度模拟的非侵入层次耦合策略。 (英语) Zbl 1454.85005号 Commun公司。非线性科学。数字。模拟。 85,文章ID 105240,23 p.(2020).MSC公司:85甲15 85-10 2015年1月70日 85-08 65页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Portegies Zwart}等人,Commun。非线性科学。数字。模拟。85,文章ID 105240,23 p.(2020;Zbl 1454.85005) 全文: 内政部 arXiv公司
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) [尼古拉·比约纳;莱昂纳多·德·莫拉;希勒尔·库格勒] 决策程序。算法观点。第二版。 (英语) Zbl 1358.68002号 理论计算机科学课文。EATCS系列柏林:施普林格出版社(ISBN 978-3-662-50496-3/hbk;978-3-562-50497-0/电子书)。第22、356页。(2016).MSC公司:68-01年 68-02 68吨15 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman},决策程序。算法观点。第二版。柏林:施普林格出版社(2016;Zbl 1358.68002) 全文: 内政部
尼科·利赞;克劳斯·诺德豪森;保丽娜·伊尔莫宁 复值ICA的最小距离指数。 (英语) 兹比尔1347.62197 统计概率。莱特。 118, 100-106 (2016).MSC公司:62M10个 62G05型 62小时12分 62时20分 62华氏35 PDF格式BibTeX公司 XML格式引用 \textit{N.LietzéN}等人,Stat.Probab。莱特。118100-106(2016;Zbl 1347.62197) 全文: 内政部
乔纳森·卡列赫斯坦;瓦迪姆·里夫钦;纳鸿·德肖维茨 提示已揭示。 (英语) Zbl 1471.68249号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340,71-87(2015年)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kalechstain}等人,Lect。注释计算。科学。9340,71-87(2015;Zbl 1471.68249) 全文: 内政部
西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 (英语) Zbl 1317.68123号 形式方法系统。设计。 45,第1期,1-41页(2014年).MSC公司:60年第68季度 03C40号 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人,《形式方法系统》。设计。45,第1号,1--41(2014;Zbl 1317.68123) 全文: 内政部 arXiv公司
凯文·麦克阿雷维;刘伟如;保罗·米勒 用于发现和测量任意知识库中不一致性的计算方法。 (英语) Zbl 1309.68181号 国际J近似推理 55,第8期,1659-1693(2014). 审核人:Neli Zlatareva(新不列颠,康涅狄格州) MSC公司:68层35 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.McAreavey}等人,《国际近似推理》55,第8期,1659--1693(2014;Zbl 1309.68181) 全文: 内政部
吉尔·奥德玛;Jean-Marie拉格尼茨;洛朗·西蒙 通过假设提高血糖以解决递增SAT:应用于MUS提取。 (英语) Zbl 1390.68587号 Järvisalo,Matti(编辑)等人,《可满足性测试的理论和应用——2013年SAT》。第十六届国际会议,芬兰赫尔辛基,2013年7月8日至12日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39070-8/pbk)。计算机科学课堂讲稿7962309-317(2013)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人,Lect。注释计算。科学。7962、309--317(2013;Zbl 1390.68587) 全文: 内政部
Jean-Marie拉格尼茨;阿明·比尔 分解假设以加快MUS提取。 (英语) Zbl 1390.68601号 Järvisalo,Matti(编辑)等人,《可满足性测试的理论和应用——2013年SAT》。第十六届国际会议,芬兰赫尔辛基,2013年7月8日至12日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39070-8/pbk)。计算机科学课堂讲稿7962276-292(2013)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}和\textit{A.Biere},莱克特。注释计算。科学。7962276--292(2013年;Zbl 1390.68601) 全文: 内政部
阿什图什·古普塔 改进的单程算法可降低分辨率。 (英语) Zbl 1374.68489号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561107-121(2012)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta},莱克特。注释计算。科学。7561、107-121(2012年;Zbl 1374.68489) 全文: 内政部
贾里·米提宁;克劳斯·诺德豪森;汉努·奥贾;萨拉·塔西宁 平稳时间序列盲源分离估计的统计特性。 (英语) Zbl 1312.62110号 统计概率。莱特。 82,第11期,1865-1873(2012).MSC公司:62M10个 62H25个 62小时12分 62克20 PDF格式BibTeX公司 XML格式引用 \textit{J.Miettinen}等人,Stat.Probab。莱特。82,No.11,1865-1873(2012;Zbl 1312.62110) 全文: 内政部
瓦迪姆·里夫钦;斯特里赫曼(Ofer Strichman) 快速提取高水平最小不可满足岩芯。 (英语) Zbl 1331.68211号 Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695174-187(2011)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Ryvchin}和\textit{O.Strichman},Lect。注释计算。科学。6695174-187(2011年;Zbl 1331.68211) 全文: 内政部
若昂·西尔瓦侯爵;林奇、伊内斯 关于改进MUS提取算法。 (英语) 兹比尔1330.68273 Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695159-173(2011)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}和\textit{I.Lynce},莱克特。注释计算。科学。6695159--173(2011年;Zbl 1330.68273) 全文: 内政部
A.西马蒂。;A.格里乔。;R·塞巴斯蒂亚尼。 在可满足模理论中计算小的不可满足核。 (英语) Zbl 1216.68241号 J.阿蒂夫。智力。研究(JAIR) 40, 701-728 (2011).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,J.Artif。智力。研究(JAIR)40,701--728(2011;Zbl 1216.68241) 全文: 内政部 arXiv公司
塞德里克馅饼;尤塞夫·哈马迪;拉赫达尔·塞伊斯 MUS计算决策过程的有效组合。 (英语) Zbl 1193.68226号 Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,335-349(2009)。MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Piette}等人,Lect。注释计算。科学。5749335--349(2009年;Zbl 1193.68226) 全文: 内政部
埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼 使用本地搜索查找MSSe和MUSe。 (英语) Zbl 1176.90410号 欧洲药典。物件。 199,第3期,640-646(2009).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{埃里·格雷戈伊尔}等人,《欧洲药典》。第199号决议,第3号,640--646(2009年;Zbl 1176.90410) 全文: 内政部
马克·利菲顿;马赫·姆奈姆;林奇,因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 提取最小最小不可满足子公式的分枝定界算法。 (英语) Zbl 1181.90291号 约束条件 14,第4期,415-442(2009年).MSC公司:90C57型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Liffiton}等人,《限制条件》14,第4期,415--442(2009;Zbl 1181.90291) 全文: 内政部
Desrosiers,克里斯蒂安;菲利普·加利尼尔;阿兰·赫兹;帕罗兹,桑德琳 在可满足性问题中,使用启发式寻找最小不可满足子公式。 (英语) Zbl 1173.90510号 J.库姆。最佳方案。 18,第2期,124-150(2009).MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Desrosiers}等人,J.Comb。最佳方案。18,第2号,124--150(2009;Zbl 1173.90510) 全文: 内政部
罗曼·格什曼;玛雅·科夫曼;斯特里赫曼(Ofer Strichman) 提取不可满足的小岩芯的方法。 (英语) 兹比尔1165.68487 形式方法系统。设计。 33,编号1-3,1-27(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gershman}等人,《形式方法系统》。设计。33,编号1--3,1--27(2008;Zbl 1165.68487) 全文: 内政部
马克·利菲顿;卡伦·萨卡拉 搜索自动标记以修剪不可满足的子句集。 (英语) Zbl 1138.68545号 Kleine Büning,Hans(编辑)等人,《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日,中国广州,2008年SAT第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79718-0/pbk)。计算机科学课堂讲稿4996182-195(2008)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Liffiton}和\textit{K.Sakallah},莱克特。注释计算。科学。4996、182--195(2008年;Zbl 1138.68545) 全文: 内政部
马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 计算最小不可满足约束子集的算法。 (英语) Zbl 1154.68510号 J.自动化。推理 40,第1期,1-33页(2008年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}和\textit{K.A.Sakallah},J.Autom。推理40,No.1,1-33(2008;Zbl 1154.68510) 全文: 内政部
斯科特·哈克;安德烈·德洪 可重构计算。基于FPGA的计算理论与实践。 (英语) Zbl 1147.68435号 摩根-考夫曼硅系统系列。阿姆斯特丹:爱思唯尔;加利福尼亚州旧金山:Morgan Kaufmann(ISBN 978-0-12-370522-8/hbk)。xxix,908页。(2008年)。MSC公司:68甲19 68M99型 68甲15 68页30 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{S.Hauck}和\textit{A.DeHon},可重构计算。基于FPGA的计算理论与实践。阿姆斯特丹:爱思唯尔;加利福尼亚州旧金山:Morgan Kaufmann(2008;Zbl 1147.68435) 全文: 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;罗伯托·塞巴斯蒂安 在SAT模理论中计算小的不可满足核的简单而灵活的方法。 (英语) Zbl 1214.68348号 Marques-Silva,Joáo(编辑)等人,《可满足性测试的理论和应用——SAT 2007》。第十届国际会议,葡萄牙里斯本,2007年5月28日至31日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72787-3/pbk)。计算机科学讲义4501,334-339(2007)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。4501、334--339(2007年;Zbl 1214.68348) 全文: 内政部
埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼 必须:提供不满足的详细解释。 (英语) Zbl 1145.68516号 Bessière,Christian(编辑),约束编程的原则和实践–CP 2007。2007年9月23日至27日,第13届国际会议,CP 2007,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74969-1/pbk)。计算机科学课堂讲稿4741,317-331(2007)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{埃里·格雷戈伊尔}等人,Lect。注释计算。科学。4741、317--331(2007;Zbl 1145.68516) 全文: 内政部
埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼 mUS的局部搜索提取。 (英语) Zbl 1211.90307号 约束条件 12,第3期,325-344(2007).MSC公司:90 C59 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grégoire}等人,约束12,No.3,325--344(2007;Zbl 1211.90307) 全文: 内政部
纳鸿·德肖维茨;齐亚德·汉娜;亚历山大·纳德尔 最小不可满足核心提取的可扩展算法。 (英语) Zbl 1187.68538号 Biere,Armin(编辑)等人,《满意度测试的理论和应用——SAT 2006》。第九届国际会议,西雅图,华盛顿州,美国,2006年8月12-15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37206-7/pbk)。计算机科学讲义412136-41(2006)。MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,Lect。注释计算。科学。4121、36-41(2006年;Zbl 1187.68538) 全文: 内政部 arXiv公司
马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 找到所有最小不可满足子公式。 (英语) Zbl 1128.68473号 Bacchus,Fahiem(编辑)等,可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26276-8/pbk)。计算机科学课堂讲稿3569173-186(2005)。MSC公司:68T20型 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}和\textit{K.A.Sakallah},莱克特。注释计算。科学。3569173--186(2005年;Zbl 1128.68473) 全文: 内政部