使用值优先约束打破对称性

我们全面研究了使用值优先约束来打破值对称性的方法。首先，我们给出了一种将值优先编码为三元约束的简单方法，该方法在打破对称性方面既高效又有效。然后，我们将值优先扩展到处理多种泛化情况，例如花环值和部分可互换性。我们还表明，值优先与字典序排序密切相关。最后，我们考虑了值优先与变量对称性的对称性打破约束之间的相互作用。