皮埃尔·蒙塔尔巴诺;阿洛奇,大卫;西蒙·德·吉夫里;Katsirelos,乔治;汤姆·沃纳 成本函数网络中的虚拟成对一致性。 (英语) Zbl 07745675号 Andre A.Cire(编辑),《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日,第20届国际会议,CPAIOR 2023,法国尼斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13884, 417-426 (2023).MSC公司:68T20型 900亿 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Montalbano}等人,Lect。注释计算。科学。13884、417--426(2023;Zbl 07745675) 全文: 内政部
阿卜杜勒卡德尔·瓦利;阿洛奇,大卫;西蒙·德·吉夫里;萨米尔·卢德尼;雅希亚·利巴;拉赫达尔·卢基尔;帕特里斯·博伊祖马尔 图形模型能量最小化的可变邻域搜索。 (英语) 兹比尔1478.68329 Artif公司。智力。 278,文章ID 103194,22 p.(2020).MSC公司:68T20型 62H22个 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ouali}等人,Artif。智力。278,文章ID 103194,22 p.(2020;Zbl 1478.68329) 全文: 内政部
巴里,赫尔利;巴里·奥沙利文;阿洛奇,大卫;Katsirelos,乔治;托马斯·希克斯;马蒂亚斯·兹特尼基;西蒙·德·吉夫里 图形模型离散优化中精确解的多语言评估。 (英语) Zbl 1368.90107号 约束条件 21,第3期,413-434(2016).MSC公司:90立方厘米 90立方厘米11 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Hurley}等人,《约束21》,第3期,413--434(2016;Zbl 1368.90107) 全文: 内政部
阿洛奇,大卫;克里斯蒂安·贝西埃;帕特里斯·博伊祖马尔;西蒙·德·吉夫里;帕特里夏·古铁雷斯;Lee,Jimmy H.M.(吉米·H·M·李)。;梁家伦;萨米尔·卢德尼;Métiver,Jean-Philippe;托马斯·希克斯;吴毅 全球成本函数的可跟踪性保持转换。 (英语) Zbl 1385.68040号 Artif公司。智力。 238166-189(2016).MSC公司:68T20型 65年第68季度 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Allouche}等人,Artif。智力。238166--189(2016;Zbl 1385.68040) 全文: 内政部 arXiv公司
阿洛奇,大卫;伊莎贝·安德烈;苏菲·芭比;杰西卡·戴维斯;西蒙·德·吉夫里;Katsirelos,乔治;巴里·奥沙利文;史蒂夫·普雷斯特维奇;托马斯·希克斯;塞杜·特拉奥雷 计算蛋白质设计是一个优化问题。 (英语) 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) 全文: 内政部