×

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

用于交叉求解和引出CSP的基于成本的模型和算法。 (英语) Zbl 1145.68532号

Bessière,Christian(编辑),约束编程的原则和实践–CP 2007。2007年9月23日至27日,第13届国际会议,CP 2007,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74969-1/pbk)。计算机科学课堂讲稿4741666-680(2007)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段