皮埃尔·绍斯;雷金、珍妮·查尔斯 边界一致扩散约束。在护士到病人分配中的负载平衡应用。 (英语) Zbl 1310.90076号 EURO J.计算。最佳方案。 2,第3期,123-146(2014).MSC公司:90立方厘米 90B80型 90B90型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schaus}和\textit{J.-C.Régin},欧洲计算机学会。最佳方案。2,编号3,123-146(2014;兹bl 1310.90076) 全文: DOI程序
汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特,贝诺特 托尔:模块化搜索,可挂钩分离。 (英语) Zbl 1283.68318号 科学。计算。程序。 84, 101-120 (2014).MSC公司:68T20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《科学》。计算。程序。84、101-120(2014;Zbl 1283.68318) 全文: DOI程序
汤姆·施里杰弗斯;塔克,吉多;皮特·威勒;霍斯特·萨穆洛维茨;彼得·斯图基(Peter J.Stuckey)。 搜索组合词。 (英语) Zbl 1309.90090号 约束条件 18,第2期,269-305(2013).MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,约束18,No.2,269--305(2013;Zbl 1309.90090) 全文: DOI程序 arXiv公司 链接
法律,Yat Chiu;Lee,Jimmy H.M.(吉米·H·M·李)。;吴,May H.C。 置换加权约束满足问题中的冗余建模。 (英语) Zbl 1208.68202号 约束条件 15,第3期,354-403(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}等人,《限制条件》15,第3期,354--403(2010;Zbl 1208.68202) 全文: DOI程序
汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 一元约束编程。 (英语) Zbl 1184.68166号 J.功能。程序。 19,第6期,663-697(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,J.Funct。程序。19,第6号,663--697(2009;Zbl 1184.68166) 全文: DOI程序