×

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

具有最大可满足性的大学时间表中的最小扰动。 (英语) Zbl 07636028号

Hebrard,Emmanuel(编辑)等人,《约束编程、人工智能和运筹学的集成》。第17届国际会议,CPAIOR 2020,奥地利维也纳,2020年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12296, 317-333 (2020).
MSC公司:68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

满意度测试的理论和应用——2019年SAT。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。 (英语) Zbl 1428.68027号

计算机科学课堂讲稿11628.查姆:施普林格(ISBN 978-3-030-24257-2/pbk;978-3-0030-24258-9/电子书)。xiv,第425页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

引入Pareto最小校正子集。 (英语) Zbl 1496.68307号

Gaspers,Serge(编辑)等人,《满意度测试的理论和应用——2017年SAT》。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10491, 195-211 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用基于分辨率的表示进行MaxSAT求解。 (英语) Zbl 1471.68257号

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

最大可满足性的进展。 (英语) Zbl 1366.68266号

Schaub,Torsten(编辑)等人,ECAI 2014。第21届欧洲人工智能会议,2014年8月18日至22日,捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录(PAIS 2014)。阿姆斯特丹:IOS出版社(ISBN 978-1-61499-418-3/pbk;978-1-6499-419-0/ebook)。人工智能和应用前沿263453-458(2014)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

Open-WBO:模块化MaxSAT解算器。 (英语) Zbl 1423.68461号

Sinz,Carsten(编辑)等人,《满意度测试的理论和应用——SAT 2014》。2014年7月14日至17日在奥地利维也纳举行的第17届国际会议,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8561, 438-445 (2014).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于MaxSAT解决的基于社区的分区。 (英语) Zbl 1390.68603号

Järvisalo,Matti(编辑)等人,《可满足性测试的理论和应用——2013年SAT》。第十六届国际会议,芬兰赫尔辛基,2013年7月8日至12日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39070-8/pbk)。计算机科学课堂讲稿7962182-191(2013)。
MSC公司:68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于改进MUS提取算法。 (英语) Zbl 1330.68273号

Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日,美国密歇根州安娜堡,第14届国际会议,SAT 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695159-173(2011)。
MSC公司:68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于命题理论的计算主干。 (英语) Zbl 1211.68389号

Coelho,Helder(编辑)等人,ECAI 2010。第19届欧洲人工智能会议,2010年8月16日至20日,葡萄牙里斯本。包括第六届著名的人工智能应用程序(PAIS-2010)。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-605-8/pbk;978-1-60750-606-5/ebook)。《人工智能和应用前沿》215,15-20(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第七次QBF解算器评估(QBFEVAL'10)。 (英语) Zbl 1306.68173号

Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日,英国爱丁堡,第13届国际会议,SAT 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学课堂讲稿6175237-250(2010)。
MSC公司:68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进布尔优化中基于不可满足性的算法。 (英语) Zbl 1306.68166号

Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日,英国爱丁堡,第13届国际会议,SAT 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学讲义6175181-193(2010)。
MSC公司:68T20型 90C09型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从Max-CSP到部分Max-SAT的顺序编码。 (英语) Zbl 1247.68243号

Kullmann,Oliver(编辑),可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02776-5/pbk)。计算机科学课堂讲稿5584,161-166(2009)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称破缺可获得最大满意度。 (英语) Zbl 1182.68257号

Cervesato,Iliano(编辑)等人,《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89438-4/pbk)。计算机科学课堂讲稿5330。《人工智能讲义》,1-15(2008)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

将Max-CSP建模为部分Max-SAT。 (英语) Zbl 1138.68531号

Kleine Büning,Hans(编辑)等人,《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日,中国广州,第十一届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79718-0/pbk)。计算机科学课堂讲稿4996,1-14(2008)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

面向基数约束的稳健CNF编码。 (英语) Zbl 1145.68525号

Bessière,Christian(编辑),约束编程的原则和实践–CP 2007。2007年9月23日至27日,第13届国际会议,CP 2007,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74969-1/pbk)。计算机科学课堂讲稿4741483-497(2007)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

合取范式子句的分类:最小不可满足子子句集和瘦核。 (英语) Zbl 1187.68552号

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

本地搜索不满意。 (英语) Zbl 1187.68561号

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

提取最小最小不可满足公式的分枝定界算法。 (英语) Zbl 1128.68477号

Bacchus,Fahiem(编辑)等,可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26276-8/pbk)。计算机科学课堂讲稿3569467-474(2005)。
MSC公司:68T20型 90C57型 90 C59
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于启发式的命题可满足性回溯。 (英语) Zbl 1205.68370号

Moura Pires,Fernando(编辑)等人,《人工智能的进展》。第十一届葡萄牙人工智能会议,2003年EPIA,2003年12月4日至7日,葡萄牙贝贾。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20589-6/pbk)。莱克特。注释计算。科学。2902, 116-130 (2003).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DPLL-CBJ-SAT算法中非良好记录的影响。 (英语) Zbl 1023.68669号

O'Sullivan,Barry(编辑),约束的最新进展。ERCIM/CologNet约束求解和约束逻辑编程联合国际研讨会,爱尔兰科克,2002年6月19-21日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2627, 144-158 (2003).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

研究可满足性的可证明完全随机搜索算法。 (英语) Zbl 1053.68684号

Braddil,Pavel(编辑)等人,《人工智能的进展》。知识提取、多智能体系统、逻辑编程和约束求解。第十届葡萄牙会议,EPIA 2001,葡萄牙波尔图,2001年12月17日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43030-X)。莱克特。注释计算。科学。第2258、363-370页(2001年)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用搜索修剪技术改进SAT算法。 (英语) 兹比尔1067.68650

Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 770 (2001).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段