×

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

成本函数网络中的虚拟成对一致性。 (英语) 兹伯利07745675

Andre A.Cire(编辑),《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日,第20届国际会议,CPAIOR 2023,法国尼斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13884, 417-426 (2023).
MSC公司:68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

图形模型中的多重选择背包约束。 (英语) Zbl 1504.90130号

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

Nemhauser-Trotter减少并提升加权CSP的消息传递。 (英语) 兹比尔1489.68262

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件