迭戈·德乌尼亚;格雷姆·恒河;彼得·沙切特;彼得·斯图基(Peter J.Stuckey)。 将CP子问题编译为MDD和d-DNNF。 (英语) Zbl 1468.68195号 约束条件 24,第1号,56-93(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.de Uña}等人,《限制条件24》,第1期,第56-93页(2019年;Zbl 1468.68195) 全文: DOI程序
亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫 MiniBrass:MiniZin的软约束。 (英语) 兹比尔1430.90525 约束条件 23,编号403-450(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Schiendorfer}等人,约束23,No.4,403--450(2018;Zbl 1430.90525) 全文: DOI程序 链接
胡克,J.N。;van Hoeve,W.-J。 约束编程和操作研究。 (英语) Zbl 1402.90148号 约束条件 23,第2期,172-195(2018).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{W.J.van Hoeve},约束23,第2号,172--195(2018;Zbl 1402.90148) 全文: DOI程序
尤金·弗洛伊德。 圣杯的进展。 (英语) Zbl 1402.90178号 约束条件 23,第2期,158-171(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Freuder},约束23,No.2,158--171(2018;Zbl 1402.90178) 全文: DOI程序
Van Cauwelaert,萨沙;米歇尔·伦巴第;皮埃尔·绍斯 全球约束在实践中的效率如何?一个公平的实验框架。 (英语) Zbl 1394.90431号 约束条件 23,第1号,87-122(2018).MSC公司:90立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Van Cauwelaert}等人,《限制条件》23,第1期,87-122(2018;Zbl 1394.90431) 全文: DOI程序
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德蒙 一种检测约束模型中对称性的方法及其推广。 (英语) Zbl 1316.90029号 约束条件 20,第2期,235-273(2015).MSC公司:90立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束20》,第2期,235-273(2015;Zbl 1316.90029) 全文: DOI程序
杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 主导打破约束。 (英语) Zbl 1316.90025号 约束条件 20,第2期,155-182(2015).MSC公司:90立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}和\textit{P.J.Stuckey},《限制条件》20,第2期,155--182(2015;Zbl 1316.90025) 全文: DOI程序 OA许可证
杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基(Peter J.Stuckey)。 对称、几乎对称和惰性子句生成。 (英语) Zbl 1316.90045号 约束条件 19,第4期,434-462(2014).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,《限制条件》19,第4期,434--462(2014;Zbl 1316.90045) 全文: DOI程序 链接
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;巴特·德梅恩;马克·华莱士 轻量化动态对称破缺。 (英语) Zbl 1338.90269号 约束条件 19,第3期,195-242(2014).MSC公司:90立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《限制条件》19,第3期,195--242(2014;Zbl 1338.90269) 全文: DOI程序 链接
凯瑟琳·格伦·弗朗西斯;彼得·斯塔基。 解释电路传播。 (英语) Zbl 1310.05144号 约束条件 19,第1期,1-29页(2014年).MSC公司:05C62型 05立方厘米82 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Francis}和\textit{P.J.Stuckey},《限制条件》19,第1期,1-29(2014;Zbl 1310.05144) 全文: DOI程序 链接
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 (英语) Zbl 1317.90283号 约束条件 18,第4期,535-578(2013).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《约束18》,第4期,535--578(2013;Zbl 1317.90283) 全文: DOI程序 哈尔
巴特·德梅恩;玛丽亚·加西亚·德拉班达 拉丁方问题中的多余缺陷。 (英语) 兹比尔1317.90253 约束条件 18,第4期,471-477(2013).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Demoen}和\textit{M.Garcia de la Banda},约束18,第4号,471--477(2013;Zbl 1317.90253) 全文: DOI程序 链接
尼古拉斯·贝尔迪塞努;卡尔森,Mats;皮埃尔·弗莱纳;贾斯汀·皮尔逊 关于全球约束的具体化。 (英语) Zbl 1328.68192号 约束条件 18,第1期,第1-6期(2013年).MSC公司:68T20型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,《约束18》,第1期,1--6页(2013年;Zbl 1328.68192) 全文: 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公司 链接
斯特凡·海因茨;延斯·舒尔茨;J.克里斯托弗·贝克 使用双重预求解约简重新计算累积约束。 (英语) Zbl 1309.90066号 约束条件 18,第2期,166-201(2013).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Heinz}等人,《约束18》,第2期,166--201(2013;Zbl 1309.90066) 全文: DOI程序
杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 利用约束规划中的子问题优势。 (英语) Zbl 1247.68249号 约束条件 17,第1期,1-38页(2012年).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,《限制条件》17,第1期,1-38(2012;Zbl 1247.68249) 全文: DOI程序
安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 解释累计传播者。 (英语) 兹比尔1226.68099 约束条件 16,第3期,250-282(2011).MSC公司:68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schutt}等人,《约束16》,第3期,250-282(2011;Zbl 1226.68099) 全文: DOI程序
雅各布·普钦格;彼得·斯塔基。;马克·华莱士。;布兰德,塞巴斯蒂安 G12中的Dantzig-Wolfe分解和分支与价格求解。 (英语) Zbl 1213.90174号 约束条件 16,第1期,77-99(2011).MSC公司:90C05(二氧化碳) 90C57型 90-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Puchinger}等人,《约束16》,第1期,第77--99页(2011年;Zbl 1213.90174) 全文: DOI程序 哈尔
大卫·G·米切尔。;尤金妮亚·特诺夫斯卡 本质中的表达力和抽象性。 (英语) Zbl 1147.68428号 约束条件 13,第3期,343-384(2008).MSC公司:68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Mitchell}和\textit{E.Ternovska},约束13,No.3,343--384(2008;Zbl 1147.68428) 全文: DOI程序
艾伦·M·弗里希。;沃里克·哈维;克里斯·杰斐逊;伯纳黛特·马丁内斯·埃尔南德斯;伊恩·米格尔 本质:用于指定组合问题的约束语言。 (英语) Zbl 1147.68424号 约束条件 13,第3号,268-306(2008).MSC公司:68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch}等人,《约束13》,第3期,268--306(2008;Zbl 1147.68424) 全文: DOI程序
金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;马克·华莱士 锌建模语言的设计。 (英语) Zbl 1146.68352号 约束条件 第3期第13期,第229-267页(2008年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人,《限制条件》13,第3期,229--267(2008;Zbl 1146.68352) 全文: DOI程序