伊兰凯科内Senthooran;马蒂亚斯·克拉珀斯图克;格列布·贝洛夫;托拜厄斯·科扎德纳;利奥,凯文;马克·华莱士;米歇尔·维布罗姆;玛丽亚·加西亚·德拉班达 实践中以人为本的可行性恢复。 (英语) Zbl 07738739号 约束条件 28,第2期,203-243(2023).MSC公司:90C27型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{I.Senthooran}等人,约束条件28,编号2203-243(2023;Zbl 07738739) 全文: 内政部
马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克,吉多;玛丽亚·加西亚·德拉班达 可视化搜索树分析。 (英语) Zbl 1334.90170号 约束条件 21,第1期,77-94(2016).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Shishmarev}等人,《约束21》,第1期,第77-94页(2016年;Zbl 1334.90170) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德梅恩 一种检测约束模型中对称性的方法及其推广。 (英语) Zbl 1316.90029号 约束条件 第235-273号第20页(2015年).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束20》,第2期,235-273(2015;Zbl 1316.90029) 全文: 内政部
朱棣文,杰弗里;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基(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) 全文: 内政部 链接
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;巴特·德梅恩;马克·华莱士 轻量化动态对称破缺。 (英语) Zbl 1338.90269号 约束条件 19,第3期,195-242(2014).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《限制条件》19,第3期,195--242(2014;Zbl 1338.90269) 全文: 内政部 链接
杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(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) 全文: 内政部
金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;马克·华莱士 锌建模语言的设计。 (英语) Zbl 1146.68352号 约束条件 13,第3号,229-267(2008).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人,《限制条件》13,第3期,229--267(2008;Zbl 1146.68352) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德梅恩 一种检测CSP模型中对称性的新方法。 (英语) Zbl 1142.68520号 Perron,Laurent(编辑)等,组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日,第五届国际会议,CPAIOR 2008,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68154-0/pbk)。计算机科学课程讲稿5015158-172(2008)。MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,Lect。注释计算。科学。5015158-172(2008年;兹比尔1142.68520) 全文: 内政部 链接