马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克,吉多;玛丽亚·加西亚·德拉班达 可视化搜索树分析。 (英语) 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号 约束条件 20,第2期,235-273(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) 全文: 内政部 链接
米尔斯,C。;M.加西亚·德拉班达。;华莱士,M。 关于对称检测的实现。 (英语) 兹比尔1181.68177 约束条件 14,第4期,443-477(2009).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束》14,第4期,443--477(2009;Zbl 1181.68177) 全文: 内政部