摘要翻译：
对称性是许多约束程序的一个重要特征。我们证明了任何问题对称性作用于一组对称破缺约束都可以用来破缺对称性。不同的对称在每个对称类中挑选出不同的解。这个简单但强大的想法可以在许多不同的方式中使用。我们描述了模型重启中的一个应用，这是一种旨在减少对称破缺和分支启发式之间冲突的搜索技术。在模型重启中，我们利用对称破缺约束的随机对称性周期性地重启搜索。实验结果表明，这种对称破缺技术在一些标准基准问题上是有效的。
---
英文标题：
《Symmetries of Symmetry Breaking Constraints》
---
作者：
George Katsirelos and Toby Walsh
---
最新提交年份：
2010
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  Symmetry is an important feature of many constraint programs. We show that any problem symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. This simple but powerful idea can be used in a number of different ways. We describe one application within model restarts, a search technique designed to reduce the conflict between symmetry breaking and the branching heuristic. In model restarts, we restart search periodically with a random symmetry of the symmetry breaking constraints. Experimental results show that this symmetry breaking technique is effective in practice on some standard benchmark problems.
---
PDF链接：
https://arxiv.org/pdf/1005.5270