×

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

处理产品约束。 (英语) Zbl 1502.68276号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 266-281 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

MDD和约束之间的高效操作。 (英语) 兹比尔1502.68274

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 173-189 (2022).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

提高EPS的鲁棒性以解决TSP。 (英语) 兹比尔1502.68272

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 155-172 (2022).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查约束满足性。 (英语) Zbl 07493638号

Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 332-347 (2021).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

MDD促进了离散动力系统的方程求解。 (英语) Zbl 07493630号

Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 196-213 (2021).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

基于自适应CP的拉格朗日松弛求解TSP。 (英语) Zbl 07636027号

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

MDD是高效的建模工具:是一些统计约束的应用程序。 (英语) Zbl 1489.68257号

Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10335, 30-40 (2017).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于MDD的约束的构造和就地操作。 (英语) Zbl 1475.68354号

Quimper,Claude-Guy(编辑),约束编程中AI和OR技术的集成。2016年5月29日至6月1日在加拿大阿联酋班夫举行的2016年CPAIOR第13届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9676, 279-293 (2016).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

都不一样变量和常数之间的不等式及其推广。 (英语) Zbl 1327.68209号

De Raedt,Luc(编辑)等人,ECAI 2012。第20届欧洲人工智能会议,2012年8月27日至31日,法国蒙彼利埃。诉讼程序。包括第七届人工智能应用大会(PAIS-2012)的会议记录和系统演示轨道。阿姆斯特丹:IOS出版社(ISBN 978-1-61499-097-0/pbk;978-1-6499-098-7/ebook)。《人工智能和应用前沿》242、145-150(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

目标和约束。 (英语) Zbl 1326.68270号

Achterberg,Tobias(ed.)等人,组合优化问题约束编程中AI和OR技术的集成。2011年5月23日至27日在德国柏林举行的2011年CPAIOR第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21310-6/pbk)。计算机科学讲座笔记6697190-195(2011)。
MSC公司:68T20型 90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

使用硬约束表示软约束。 (英语) Zbl 1326.68269号

Achterberg,Tobias(ed.)等人,组合优化问题约束编程中AI和OR技术的集成。2011年5月23日至27日在德国柏林举行的2011年CPAIOR第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21310-6/pbk)。计算机科学课堂讲稿6697176-189(2011)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

重访加权生成树约束。 (英语) Zbl 1285.68162号

Lodi,Andrea(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13519-4/pbk)。计算机科学课堂讲稿6140287-291(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用约束规划改进Held和Karp方法。 (英语) Zbl 1285.68149号

Lodi,Andrea(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13519-4/pbk)。计算机科学课堂讲稿6140,40-44(2010)。
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权生成树约束的简单增量一致性检查和弧一致性过滤算法。 (英语) Zbl 1142.68523号

Perron,Laurent(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日,第五届国际会议,CPAIOR 2008,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68154-0/pbk)。计算机科学课程讲稿5015233-247(2008)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

偏差约束。 (英语) Zbl 1214.90104号

Van Hentenryck,Pascal(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2007年5月23日至26日在比利时布鲁塞尔举行的2007年CPAIOR第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72396-7/pbk)。计算机科学课堂讲稿4510260-274(2007)。
MSC公司:90C27型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

封闭世界中的开放约束。 (英语) Zbl 1177.68198号

Beck,J.Christopher(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2006年5月31日至6月2日在爱尔兰科克举行的2006年第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-34306-7/pbk)。计算机科学课堂讲稿3990244-257(2006)。
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在搜索过程中保持弧一致性算法,而不需要额外的空间开销。 (英语) Zbl 1153.68481号

van Beek,Peter(编辑),约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-29238-8/pbk)。计算机科学课堂讲稿3709,520-533(2005)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AC-*:一种可配置的通用自适应弧一致性算法。 (英语) Zbl 1153.68480号

van Beek,Peter(编辑),约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-29238-8/pbk)。计算机科学课堂讲稿3709,505-519(2005)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

传播:基于统计的平衡约束。 (英语) Zbl 1153.68475号

van Beek,Peter(编辑),约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-29238-8/pbk)。《计算机科学讲义》3709460-474(2005)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

中间约束和基数约束的组合。 (英语) 兹比尔1133.68432

Barták,Roman(ed.)等人,组合优化问题约束编程中人工智能和OR技术的集成。;2005年5月31日至6月1日在捷克共和国布拉格举行的2005年CPAIOR第二届国际会议。提交诉讼。柏林:施普林格出版社(ISBN 978-3-540-26152-0/pbk)。计算机科学课堂讲稿3524288-303(2005)。
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基数矩阵约束。 (英语) Zbl 1152.68578号

Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议,CP 2004。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258572-587(2004)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在组合优化问题的约束规划中集成AI和OR技术。2004年4月20日至22日,第一届国际会议,CPAIOR 2004,法国尼斯。诉讼程序。 (英语) Zbl 1051.68022号

计算机科学课堂讲稿3011.柏林:施普林格出版社(ISBN 3-540-21836-X/pbk)。xi,第415页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用约束规划解决最大团问题。 (英语) Zbl 1273.90176号

Rossi,Francesca(编辑),约束编程的原理和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20202-1/pbk)。莱克特。注释计算。科学。28333634-648(2003)中描述。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过约束问题的特定过滤算法。 (英语) Zbl 1067.68663号

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

过约束问题的约束冲突的新下界。 (英语) Zbl 1067.68664号

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

一种用于解决过约束问题的基于约束的原始方法。 (英语) Zbl 1044.68793号

Dechter,Rina(编辑),约束编程的原理和实践-CP 2000。第六届国际会议,新加坡,2000年9月18日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41053-8)。莱克特。注释计算。科学。1894, 543-548 (2000).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

将和约束和差约束结合在一起的全局约束。 (英语) Zbl 1044.68794号

Dechter,Rina(编辑),约束编程的原理和实践-CP 2000。第六届国际会议,新加坡,2000年9月18日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41053-8)。莱克特。注释计算。科学。1894, 384-395 (2000).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过动态解决子问题,在全局约束上实现弧一致性。 (英语) Zbl 0961.68124号

Joxan Jaffar(编辑),约束编程的原理和实践-CP’99。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1713, 103-117 (1999).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份