哈维尔·拉罗萨;佩德罗·梅塞盖尔 Max-CSP的基于分区的下限。 (英语) Zbl 1028.68156号 制约因素 7,第3-4号,407-419(2002).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}和\textit{P.Meseguer},约束7,No.3--4407--419(2002;Zbl 1028.68156) 全文: DOI程序
雷金、珍妮·查尔斯 全局基数约束的基于成本的弧一致性。 (英语) 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) 全文: DOI程序
尤塞夫·哈马迪 最佳分布式电弧一致性。 (英语) Zbl 1028.68155号 制约因素 7,第3-4367-385号(2002年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hamadi},约束条件7,编号3-4-367-385(2002;Zbl 1028.68155) 全文: DOI程序
菲利波·福卡奇;安德烈·洛迪;米歇拉·米兰 面向优化的全局约束。 (英语) Zbl 1028.68024号 制约因素 7,第3-4号,351-365(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Focacci}等人,约束7,No.3--4,351--365(2002;Zbl 1028.68024) 全文: DOI程序
罗尔夫·巴科芬;威尔,塞巴斯蒂安 在基于约束的搜索中排除对称。 (英语) Zbl 1028.68037号 制约因素 7,编号3-4,333-349(2002).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{S.Will},约束7,No.3--4333--349(2002;Zbl 1028.68037) 全文: DOI程序
路德维希·克里帕尔;佩德罗·巴拉奥纳 PSICO:用约束编程和优化求解蛋白质结构。 (英语) Zbl 1028.68026号 制约因素 7,编号3-4,317-331(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Krippahl}和\textit{P.Barahona},约束7,No.3--4317--331(2002;Zbl 1028.68026) 全文: DOI程序
伊夫·迪维尔;米查·詹森;帕斯卡·范·亨特利克 常微分方程中的一致性技巧。 (英语) 兹比尔1020.65035 制约因素 7,第3-4号,289-315(2002). 审核人:奥斯卡·洛佩斯·普索(圣地亚哥·德孔波斯特拉) MSC公司:65升05 65升06 34A34飞机 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deville}等人,《限制条件7》,编号3--4,289--315(2002;Zbl 1020.65035) 全文: DOI程序
弗朗索瓦·拉伯特;伊夫·卡索 SALSA:搜索算法语言。 (英语) Zbl 1020.68028号 制约因素 7,编号3-4,255-288(2002).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{F.Laburthe}和\textit{Y.Caseau},约束7,No.3--4255-288(2002;Zbl 1020.68028) 全文: DOI程序
金·万豪酒店;乔·西特·森 QOCA:用于交互式图形应用程序的约束求解工具包。 (英语) Zbl 1020.68024号 制约因素 7,第3-4、229-254号(2002年).MSC公司:68甲19 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{S.Chok},约束7,No.3--4229--254(2002;Zbl 1020.68024) 全文: DOI程序