동적 유효 집합에서의 추론 제약 탄력성 | Synapse