본 논문은 제약 프로그래밍 및 관련 패러다임에서 자주 발생하는 구별 불가능한 객체(indistinguishable objects)의 대칭성을 깨는 방법을 제시한다. 구별 불가능한 객체는 이름 없는 객체 집합에서 그려진 것으로 간주될 수 있으며, 허용되는 유일한 연산이 동일성 검사인 경우 발생한다. 예를 들어, 소셜 골퍼 문제의 골퍼들은 구별 불가능하다. 골퍼들에게 레이블을 지정하면, 하나의 해에서 골퍼들의 재표기는 다른 유효한 해를 제공한다. 따라서 크기 $n$의 대칭군이 $n$개의 구별 불가능한 객체 집합에 작용하는 것으로 간주할 수 있다. 본 논문에서는 구별 불가능한 객체로 인한 대칭성을 깨는 방법을 보여주고, 복잡한 유형(예: 구별 불가능한 객체로 색인된 행렬)에서 구별 불가능한 객체의 대칭성을 정의하는 방법과 그 결과 대칭성을 올바르게 깨는 방법을 제시한다. Essence라는 고수준 모델링 언어에서 구별 불가능한 객체는 "이름 없는 유형"으로 캡슐화되며, 본 논문에서는 Essence에서 이름 없는 유형에 대한 완전한 대칭성 깨짐을 구현한다.
