이 논문은 만족 가능 모듈러 이론(SMT) 분야에서 이론 결합과 관련된 특성들 간의 연결 관계를 연구합니다. 특히 최소 모델 함수의 계산 가능성이라는 중요한 특성을 분석하고, 이를 다른 특성들과 연결 짓습니다.
Alice와 Bob이 서로 다른 논리 명제에 대한 지식을 가지고 있을 때, Alice가 Bob이 특정 논리 명제를 증명할 수 있도록 하는 데 필요한 최소한의 정보를 효율적으로 전달하는 방법에 대한 연구
