巴特·德梅恩;阮富兰 具有着色冗余边的图。 (英语) Zbl 1467.05071号 电子。J.图论应用。 4,第2期,223-230(2016).MSC公司:05C15号 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{B.Demoen}和\textit{P.-L.Nguyen},电子。J.图论应用。4,第2号,223--230(2016;Zbl 1467.05071) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德梅恩 一种检测约束模型中对称性的方法及其推广。 (英语) Zbl 1316.90029号 约束条件 20,第2期,235-273(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束20》,第2期,235-273(2015;Zbl 1316.90029) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚;巴特·德蒙;马克·华莱士 轻量级动态对称打破。 (英语) Zbl 1338.90269号 约束条件 19,第3期,195-242(2014).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《限制条件》19,第3期,195--242(2014;Zbl 1338.90269) 全文: 内政部 链接
汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特,贝诺特 托尔:模块化搜索,可挂钩分离。 (英语) Zbl 1283.68318号 科学。计算。程序。 84, 101-120 (2014).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,科学。计算。程序。84、101-120(2014;Zbl 1283.68318) 全文: 内政部
汤姆·施里杰弗斯;巴特·德梅恩;大卫·沃伦。 TCHR:表格CLP的框架。 (英语) Zbl 1148.68013号 理论与实践。日志。程序。 8,第4期,491-526(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《理论与实践》。日志。程序。8,第4号,491--526(2008;Zbl 1148.68013) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德梅恩 一种检测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。注释计算。科学。5015、158--172(2008年;Zbl 1142.68520) 全文: 内政部