史蒂夫·马拉莱尔;维克托·荣格;雷金、珍妮·查尔斯;玛丽·佩洛 处理产品约束。 (英语) Zbl 1502.68276号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 266-281 (2022).MSC公司:68T20型 90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Malalel}等人,Lect。注释计算。科学。13292,266--281(2022;Zbl 1502.68276) 全文: 内政部 哈尔
维克托·荣格;雷金、珍妮·查尔斯 MDD和约束之间的高效操作。 (英语) 兹比尔1502.68274 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 173-189 (2022).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Jung}和\textit{J.-C.Régin},莱克特。注释计算。科学。13292,173--189(2022;Zbl 1502.68274) 全文: 内政部
尼古拉斯·伊索亚特;雷金、珍妮·查尔斯 提高EPS的鲁棒性以解决TSP。 (英语) 兹比尔1502.68272 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 155-172 (2022).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Isoart}和\textit{J.-C.雷金},莱克特。注释计算。科学。13292,155--172(2022;Zbl 1502.68272) 全文: 内政部
维克托·荣格;雷金、珍妮·查尔斯 检查约束满足性。 (英语) Zbl 07493638号 Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 332-347 (2021).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Jung}和\textit{J.-C.Régin},莱克特。注释计算。科学。12735、332--347(2021;Zbl 07493638) 全文: 内政部 哈尔
恩里科·福门蒂;雷金、珍妮·查尔斯;萨拉·里瓦 MDD促进了离散动力系统的方程求解。 (英语) Zbl 07493630号 Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 196-213 (2021).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Formenti}等人,Lect。注释计算。科学。12735196-213(2021;Zbl 07493630) 全文: 内政部 哈尔
尼古拉斯·伊索亚特;雷金、珍妮·查尔斯 基于自适应CP的拉格朗日松弛求解TSP。 (英语) Zbl 07636027号 Hebrard,Emmanuel(编辑)等人,约束编程、人工智能和运筹学的集成。第17届国际会议,CPAIOR 2020,奥地利维也纳,2020年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12296, 300-316 (2020).MSC公司:68T20型 900亿 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Isoart}和\textit{J.-C.雷金},莱克特。注释计算。科学。12296、300-316(2020;Zbl 07636027) 全文: 内政部
纪尧姆·佩雷斯;雷金、珍妮·查尔斯 MDD是高效的建模工具:是一些统计约束的应用程序。 (英语) Zbl 1489.68257号 Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10335, 30-40 (2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Perez}和\textit{J.-C.Régin},莱克特。注释计算。科学。10335,30-40(2017年;兹比尔1489.68257) 全文: 内政部
阿尔诺·马拉珀特;雷金、珍妮·查尔斯;穆罕默德·雷兹古伊 约束编程中令人尴尬的并行搜索。 (英语) Zbl 1401.68292号 J.阿蒂夫。智力。研究(JAIR) 57, 421-464 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Malapert}等人,J.Artif。智力。研究(JAIR)57,421--464(2016;Zbl 1401.68292) 全文: 内政部
纪尧姆·佩雷斯;雷金、珍妮·查尔斯 基于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格式引用 \textit{G.Perez}和\textit{J.-C.Régin},莱克特。注释计算。科学。9676,279--293(2016;Zbl 1475.68354) 全文: 内政部 哈尔
尼古拉斯·贝尔迪塞努;卡尔森,Mats;蒂埃里·佩蒂特;雷金、珍妮·查尔斯 与都不一样变量和常数之间的不等式及其推广。 (英语) 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)。MSC公司:68T20型 90C27型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,前面。Artif公司。智力。申请。242145-150(2012年;Zbl 1327.68209) 全文: 链接
雷金、珍妮·查尔斯;蒂埃里·佩蒂特 目标和约束。 (英语) 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格式引用 \textit{J.-C.雷金}和\textit{T.Petit},莱克特。注释计算。科学。6697、190--195(2011年;Zbl 1326.68270) 全文: 内政部 哈尔
雷金、珍妮·查尔斯 使用硬约束表示软约束。 (英语) 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格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。6697、176--189(2011年;Zbl 1326.68269) 全文: 内政部 哈尔
雷金、珍妮·查尔斯;卢梭,路易斯·马汀;米歇尔·鲁赫;威廉·扬·范霍夫 重访加权生成树约束。 (英语) Zbl 1285.68162号 Lodi,Andrea(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13519-4/pbk)。计算机科学课堂讲稿6140287-291(2010)。MSC公司:68T20型 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Régin}等人,Lect。注释计算。科学。6140287--291(2010年;Zbl 1285.68162) 全文: 内政部
苯硫醇,帕斯卡;雷金、珍妮·查尔斯;卢梭,路易斯·马汀;米歇尔·鲁赫;威廉·扬·范霍夫 用约束规划改进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格式引用 \textit{P.Benchimol}等人,Lect。注释计算。科学。6140、40-44(2010年;Zbl 1285.68149) 全文: 内政部
雷金、珍妮·查尔斯 加权生成树约束的简单增量一致性检查和弧一致性过滤算法。 (英语) 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格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。5015233--247(2008;Zbl 1142.68523) 全文: 内政部
皮埃尔·绍斯;伊夫·德维尔;皮埃尔·杜邦;雷金、珍妮·查尔斯 偏差约束。 (英语) 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格式引用 \textit{P.Schaus}等人,Lect。注释计算。科学。45102260-274(2007年;兹bl 1214.90104) 全文: 内政部
威廉·扬·范霍夫;雷金、珍妮·查尔斯 封闭世界中的开放约束。 (英语) 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格式引用 \textit{W.-J.van Hoeve}和\textit{J.-C.Régin},莱克特。注释计算。科学。3990244--257(2006年;Zbl 1177.68198) 全文: 内政部
雷金、珍妮·查尔斯 在搜索过程中保持弧一致性算法,而不需要额外的空间开销。 (英语) 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格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。3709、520--533(2005年;Zbl 1153.68481) 全文: 内政部
雷金、珍妮·查尔斯 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格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。3709505--519(2005年;Zbl 1153.68480) 全文: 内政部
吉尔斯·佩森特;雷金、珍妮·查尔斯 传播:基于统计的平衡约束。 (英语) 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格式引用 \textit{G.Pesant}和\textit{J.-C.雷金},莱克特。注释计算。科学。3709460-474(2005年;Zbl 1153.68475) 全文: 内政部
雷金、珍妮·查尔斯 中间约束和基数约束的组合。 (英语) 兹比尔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格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。3524288--303(2005年;Zbl 1133.68432) 全文: 内政部
克里斯蒂安·贝西埃;雷金、珍妮·查尔斯;罗兰·H·C·雅普。;张元林 一种优化的粗粒度圆弧一致性算法。 (英语) Zbl 1132.68691号 Artif公司。智力。 165,第2期,165-185(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessière}等人,Artif。智力。165,第2号,165--185(2005;Zbl 1132.68691) 全文: 内政部 链接
雷金、珍妮·查尔斯;卡拉·戈麦斯 基数矩阵约束。 (英语) 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格式引用 \textit{J.-C.雷金}和\textit{C.戈麦斯},莱克特。注释计算。科学。3258、572--587(2004年;Zbl 1152.68578) 全文: 内政部
雷金、珍妮·查尔斯(编辑);米歇尔·鲁赫(编辑) 在组合优化问题的约束规划中集成AI和OR技术。2004年4月20日至22日,第一届国际会议,CPAIOR 2004,法国尼斯。诉讼程序。 (英语) Zbl 1051.68022号 计算机科学课堂讲稿3011.柏林:施普林格出版社(ISBN 3-540-21836-X/pbk)。xi,第415页。(2004).MSC公司:68-06 00B25型 68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Régin}(编辑)和\textit{M.Rueher}(主编),组合优化问题约束编程中AI和OR技术的集成。2004年4月20日至22日在法国尼斯举行的第一届国际会议,CPAIOR 2004。诉讼程序。柏林:施普林格出版社(2004;Zbl 1051.68022) 全文: 内政部
雷金、珍妮·查尔斯 使用约束规划解决最大团问题。 (英语) Zbl 1273.90176号 Rossi,Francesca(编辑),约束编程的原理和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20202-1/pbk)。莱克特。注释计算。科学。28333634-648(2003)中描述。MSC公司:90C27型 05C69号 68甲19 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.雷金},莱克特。注释计算。科学。2833634--648(2003年;Zbl 1273.90176) 全文: 内政部
雷金、珍妮·查尔斯 全局基数约束的基于成本的弧一致性。 (英语) Zbl 1028.68157号 约束条件 7,第3-4、387-405号(2002年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Régin},约束7,No.3--4387-405(2002;Zbl 1028.68157) 全文: 内政部
蒂埃里·佩蒂特;雷金、珍妮·查尔斯;克里斯蒂安·贝西埃 过约束问题的特定过滤算法。 (英语) Zbl 1067.68663号 Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 451-463 (2001).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Petit}等人,Lect。注释计算。科学。2239451--463(2001年;Zbl 1067.68663) 全文: 链接
雷金、珍妮·查尔斯;蒂埃里·佩蒂特;Bessière,基督徒;Jean-François普吉 过约束问题的约束冲突的新下界。 (英语) 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格式引用 \textit{J.-C.Régin}等人,Lect。注释计算。科学。2239332--345(2001年;Zbl 1067.68664) 全文: 链接
雷金,J.-C。;T·佩蒂特。;贝西埃,C。;J.-F.普吉。 一种用于解决过约束问题的基于约束的原始方法。 (英语) 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格式引用 \textit{J.C.Régin}等人,Lect。注释计算。科学。1894年,543--548(2000年;Zbl 1044.68793) 全文: 链接
雷金、珍妮·查尔斯;米歇尔·鲁赫 将和约束和差约束结合在一起的全局约束。 (英语) 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格式引用 \textit{J.-C.雷金}和textit{M.鲁赫},莱克特。注释计算。科学。1894384-395(2000年;Zbl 1044.68794) 全文: 链接
克里斯蒂安·贝西埃;雷金、珍妮·查尔斯 通过动态解决子问题,在全局约束上实现弧一致性。 (英语) Zbl 0961.68124号 Joxan Jaffar(编辑),约束编程的原理和实践-CP’99。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1713, 103-117 (1999).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessière}和\textit{J.-C.雷金},莱克特。注释计算。科学。1713、103-117(1999年;Zbl 0961.68124)