纪尧姆·埃斯卡莫彻;巴里·奥沙利文 规则无图案着色。 (英语) Zbl 1497.05081号 离散应用程序。数学。 321, 109-125 (2022).MSC公司:05C15号 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}和\textit{B.O'Sullivan},离散应用程序。数学。321、109--125(2022年;Zbl 1497.05081) 全文: 内政部
普雷斯特维奇,S.D。;弗洛伊德,E.C。;B.奥沙利文。;D.布朗。 基于分类器的约束获取。 (英语) Zbl 1507.68252号 安。数学。Artif公司。智力。 89,编号7,655-674(2021).MSC公司:68T05型 62H30型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人,《数学年鉴》。Artif公司。智力。89,编号:7655-674(2021年;兹bl 1507.68252) 全文: 内政部
穆罕默德·瓦赫比;格里姆斯、迪尔米德;迪帕克·梅塔;Kenneth N.Brown。;巴里·奥沙利文 针对地理上分布的数据中心问题的分布式优化方法。 (英语) Zbl 1489.68040号 Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10335, 147-166 (2017).MSC公司:64岁以下 68宽15 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wahbi}等人,Lect。注释计算。科学。10335、147--166(2017;Zbl 1489.68040) 全文: 内政部
克里斯蒂安·贝西尔;弗里德里克·科里奇;Nadjib拉扎尔;巴里·奥沙利文 约束获取。 (英语) Zbl 1404.68139号 Artif公司。智力。 244, 315-342 (2017).MSC公司:68T20型 68T05型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人,Artif。智力。244315--342(2017;Zbl 1404.68139) 全文: 内政部
巴里·赫尔利;巴里·奥沙利文;阿洛奇,大卫;乔治·卡特西雷洛斯;托马斯·希克斯;马蒂亚斯·兹特尼基;西蒙·德·吉夫里 图形模型离散优化中精确解的多语言评估。 (英语) Zbl 1368.90107号 限制条件 21,第3期,413-434(2016).MSC公司:90立方厘米 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Hurley}等人,《约束21》,第3期,413--434(2016;Zbl 1368.90107) 全文: 内政部
路易斯·奎萨达;兰尼·西塔纳亚;Kenneth N.Brown。;巴里·奥沙利文;科马克·斯雷南。 无线传感器网络中附加继电器布置问题的约束编程方法。 (英语) Zbl 1329.90153号 限制条件 20,第4期,433-451(2015).MSC公司:90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Quesada}等人,《约束20》,第4期,第433--451页(2015年;Zbl 1329.90153) 全文: 内政部
阿洛奇,大卫;伊莎贝·安德烈;苏菲·芭比;杰西卡·戴维斯;西蒙·德·吉夫里;乔治·卡特西雷洛斯;巴里·奥沙利文;史蒂夫·普雷斯特维奇;托马斯·希克斯;塞杜·特拉奥雷 计算蛋白质设计作为一个优化问题。 (英语) Zbl 1407.92099号 Artif公司。智力。 212, 59-79 (2014).MSC公司:92D20型 68T20型 90立方厘米 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Allouche}等人,Artif。智力。212、59--79(2014年;Zbl 1407.92099) 全文: 内政部
哈德里安·坎巴扎德;埃曼纽尔·希伯拉德;巴里·奥沙利文 基于岗位注册的课程时间表问题的局部搜索和约束编程。 (英语) Zbl 1251.90120号 安·Oper。物件。 194, 111-135 (2012).MSC公司:90B35型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人,Ann.Oper。第194、111--135号决议(2012年;Zbl 1251.90120) 全文: 内政部
哈德里安·坎巴扎德;欧文·奥马霍尼;巴里·奥沙利文 一种基于最短路径的多叶准直器排序方法。 (英语) Zbl 1235.90125号 离散应用程序。数学。 160,编号1-2,81-99(2012).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人,《离散应用》。数学。160,编号1--2,81-99(2012;Zbl 1235.90125) 全文: 内政部
哈德里安·坎巴扎德;巴里·奥沙利文 “使用功能相关性重新设置表约束——解释生成的应用”勘误表。 (英语) Zbl 1191.68627号 限制条件 15,第1期,145-147(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{B.O'Sullivan},约束15,第1号,145-147(2010;Zbl 1191.68627) 全文: 内政部
哈德里安·坎巴扎德;巴里·奥沙利文;芭芭拉·史密斯。 一种基于约束的解谜方法1225。 (英语) Zbl 1189.90130号 计算。数学。申请。 58,第8期,1487-1497(2009).MSC公司:90C27型 68T20型 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人,计算。数学。申请。58,第8号,1487--1497(2009;Zbl 1189.90130) 全文: 内政部
伊戈尔·拉兹贡;巴里·奥沙利文;格雷戈里·普罗万 基于网络流概括全局约束。 (英语) Zbl 1162.68658号 Fages,François(编辑)等人,约束的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会,2007年CSCLP,法国罗克扬科特,2007年6月7日至8日。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-89811-5/pbk)。计算机科学课堂讲稿5129。人工智能课堂讲稿,127-141(2008)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Razgon}等人,Lect。注释计算。科学。5129、127--141(2008年;Zbl 1162.68658) 全文: 内政部
哈德里安·坎巴扎德;巴里·奥沙利文 使用功能相关性重新设置表约束,这是解释生成的应用程序。 (英语) Zbl 1146.68454号 限制条件 13,第3号,385-406(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{B.O'Sullivan},约束13,第3号,385--406(2008;Zbl 1146.68454) 全文: 内政部
都铎胡鲁拜;巴里·奥沙利文 搜索启发对重尾行为的影响。 (英语) Zbl 1103.68812号 限制条件 11,编号2-3,159-178(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hulubei}和\textit{B.O'Sullivan},约束11,No.2--3159--178(2006;Zbl 1103.68812) 全文: 内政部