BriefGPT.xyz
Mar, 2009
利用值先例破坏对称性
Symmetry Breaking Using Value Precedence
HTML
PDF
Toby Walsh
TL;DR
本文研究价值优先约束的使用，通过三元约束对其进行编码以有效地打破对称性，并将其扩展到包括花环值和部分可互换性等多种情况，同时探讨了价值优先和对称性破坏约束在变量对称性方面的交互关系。
Abstract
We present a comprehensive study of the use of
value precedence
constraints to break value symmetry. We first give a simple encoding of
value precedence
into
→