Amnon Meisels公司;罗伊·齐万 DisCSP的异步转发检查。 (英语) Zbl 1118.68158号 约束条件 12,第1期,131-150(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meisels}和\textit{R.Zivan},约束12,第1期,131-150(2007;Zbl 1118.68158) 全文: 内政部
弗朗西斯科·阿泽夫多 基数:有限集约束求解器。 (英语) Zbl 1118.68653号 约束条件 12,第1期,93-129(2007).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Azevedo},约束12,No.1,93--129(2007;Zbl 1118.68653) 全文: 内政部
赫尔穆特·西蒙尼斯 全局约束应用程序的模型。 (英语) Zbl 1115.68509号 约束条件 12,第1号,63-92(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Simonis},约束条件12,第1号,63-92(2007年;Zbl 1115.68509) 全文: 内政部
尼古拉斯·贝尔迪塞努;卡尔森,Mats;索菲·德马西;蒂埃里·佩蒂特 全球约束目录:过去、现在和未来。 (英语) Zbl 1128.68092号 约束条件 12,第1号,21-62(2007). 审核人:尼古拉·梅拉(利兹) MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,《限制条件》12,No.1,21--62(2007;Zbl 1128.68092) 全文: 内政部
康斯坦丁·阿蒂乌钦;菲利普·巴普蒂斯特 间距约束的Arc-B一致性。 (英语) Zbl 1118.68156号 约束条件 12,第1号,3-19(2007).MSC公司:68T20型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{K.Artiouchine}和\textit{P.Baptiste},约束12,No.1,3--19(2007;Zbl 1118.68156) 全文: 内政部