×

找到27个文档(结果1-27)

计算最小不可满足子集。 (英语) 兹比尔1493.68259

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).
MSC公司:68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

决策程序。算法观点。第二版。 (英语) 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格式引用
全文: 内政部

提示已揭示。 (英语) Zbl 1471.68249号

Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340,71-87(2015年)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过假设提高血糖以解决递增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格式引用
全文: 内政部

分解假设以加快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格式引用
全文: 内政部

改进的单程算法可降低分辨率。 (英语) 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格式引用
全文: 内政部

快速提取高水平最小不可满足岩芯。 (英语) 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格式引用
全文: 内政部

关于改进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格式引用
全文: 内政部

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格式引用
全文: 内政部

搜索自动标记以修剪不可满足的子句集。 (英语) 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格式引用
全文: 内政部

可重构计算。基于FPGA的计算理论与实践。 (英语) Zbl 1147.68435号

摩根-考夫曼硅系统系列。阿姆斯特丹:爱思唯尔;加利福尼亚州旧金山:Morgan Kaufmann(ISBN 978-0-12-370522-8/hbk)。xxix,908页。(2008年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

在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格式引用
全文: 内政部

必须:提供不满足的详细解释。 (英语) 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格式引用
全文: 内政部

最小不可满足核心提取的可扩展算法。 (英语) Zbl 1187.68538号

Biere,Armin(编辑)等人,《满意度测试的理论和应用——SAT 2006》。第九届国际会议,西雅图,华盛顿州,美国,2006年8月12-15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37206-7/pbk)。计算机科学讲义412136-41(2006)。
PDF格式BibTeX公司 XML格式引用

找到所有最小不可满足子公式。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份