打破不可区分对象的对称性

本研究解决了约束编程等相关范式中不可区分对象带来的对称性问题。提出了一种新的方法，通过在高层建模语言Essence中定义并实现对不可区分对象的完全对称性破坏，从而提升模型的表达能力和求解效果。研究表明，该方法能够有效处理不可区分对象，为相关领域的建模提供了重要贡献。