×
米尔斯，C。;M.加西亚·德拉班达。;M.华莱士。

关于对称检测的实现。 （英语） Zbl 1181.68177号

约束条件 14，第4期，443-477（2009）.
摘要：自动对称性检测受到了广泛关注，因此提出了大量的方法。本文报告了我们在实施J.F.普吉【法学注释计算科学3709、475–489（2005；Zbl 1153.68477号)]. 特别是，它对处理一般表达式的方法提出了修改，讨论了获得的见解，并给出了该方法的准确性和效率的实验评估结果。

引用于8文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

自动对称检测;图自同构

引文：

Zbl 1153.68477号

软件：

CSPLib数据库
PDF格式BibTeX公司 XML格式引用
\textit{C.Mears}等人，《约束》14，第4期，443--477（2009；Zbl 1181.68177）
全文： 内政部

参考文献：

[1] Apt，K.R.和Wallace，M.G.（2006年）。使用ECLiPSe进行约束逻辑编程。剑桥大学出版社。
[2] Cohen，D.、Jeavons，P.、Jefferson，C.、Petrie，K.E.和Smith，B.M.（2005）。约束满足问题的对称定义。在P.van Beek（编辑），CP2005，LNCS（第3709卷，第17-31页）。斯普林格·Zbl 1153.68454号
[3] Crawford，J.、Ginsberg，M.L.、Luck，E.和Roy，A.（1996年）。搜索问题的对称破坏谓词。L.C.Aiello、J.Doyle、S.Shapiro（编辑），KR’96：知识表示和推理原则（第148-159页）。加利福尼亚州旧金山：摩根·考夫曼。
[4] Darga，P.T.、Liffiton，M.H.、Sakallah，K.A.和Markov，I.L.（2004）。在CNF对称性检测中开发结构。S.Malik，L.Fix，A.B.Kahng（编辑），DAC（第530-534页）。ACM公司。
[5] 弗洛伊德·E.C.（1991）。消除约束满足问题中的可互换值。程序中。AAAI'91（第1卷，第227-233页）。
[6] Frisch，A.M.、Miguel，I.和Walsh，T.（2003）。CGRASS：转换约束满足问题的系统。B.O'Sullivan（Ed.），约束的最新进展，ERCIM/CologNet约束求解和约束逻辑编程联合国际研讨会，LNCS（第2627卷，第15-30页）·Zbl 1023.68668号
[7] Gent，I.P.、Harvey，W.和Kelsey，T.（2002年）。组和约束：搜索期间对称性中断。在P.van Hentenryck（编辑），CP2002，LNCS（第2470卷，第415-430页）。斯普林格。
[8] Gent，I.P.和Walsh，T.（1999）。CSPLib：约束的基准库。技术报告，技术报告APES-09-1999。第五届约束规划原理与实践国际会议（CP-99）的会议记录中有一个简短的版本。可从以下位置获得网址：http://www.csplib.org/ .
[9] Jégou，P.（1993）。基于有限约束满足问题微观结构的区域分解。AAAI93：第11届全国人工智能会议记录（第731-736页）。
[10] McKay，B.D.（1981年）。实用图同构。国会数学家，30，45-87·Zbl 0521.05061号
[11] Pearson，J.、van Hentenryck，P.、Flener，P.和。Agren，M.（2005）。约束满足对称性的合成推导。摘自《抽象、重新制定和近似国际研讨会论文集》（SARA'05）。
[12] Puget，J.-F.（2002年）。重新审视对称性破坏。P.Van Hentenryck（编辑），CP2002，LNCS（第2470卷，第446–461页）。斯普林格。
[13] Puget，J.-F.（2005）。变量和值对称性的自动检测。P.van Beek（编辑），CP2005，LNCS（第3709卷，第475-489页）。斯普林格·Zbl 1153.68477号
[14] Puget，J.-F.（2005）。打破了满射问题中的所有值对称性。在P.van Beek（编辑），CP2005，LNCS（第3709卷，第490–504页）。斯普林格·Zbl 1153.68478号
[15] Ramani，A.和Markov，I.L.（2004）。在约束编程中自动利用对称性。在B.Faltings，A.Petcu，F.Fages，F.Rossi（编辑），CSCLP（第3419卷，第98-112页）·兹比尔1078.68760
[16] Roy，P.和Pachet，F.（1998年）。利用全局约束的对称性加快约束满足问题的求解。在ECAI98非二进制约束研讨会上（第27–33页）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。