Cs-Cc
다자간 통신 복잡도에서 파티션 기법의 한계와 가능성
무작위 서브큐브 모델로 보는 제약 만족 문제의 구조
양자 채널 구별 문제의 계산 복잡도
모노이드 이차 논리의 파라미터화된 비가역성
PDL 최적 테이블라우 결정 절차
다항시간 계산가능성의 유리·실수 함수 비교 연구
정규 제약을 가진 항들의 인스턴스 집합 정규성 결정은 EXPTIME‑완전
비단조 논리의 복잡성 탐구
컨볼루션 코드 ML 디코딩 복잡도 혁신: 인접 로그우도 기반 최적성 검증
예측 불가능성 강화와 퍼즐 난이도 증폭의 새로운 증명
정적 구조의 복잡성으로 본 린의 제3법칙
전기 흐름과 라플라시안으로 풀어내는 최대 흐름 가속화
약속 하에 명제 증명 복잡도 탐구
최소 라우팅 비용 스패닝 트리의 병렬 근사 알고리즘
Fisher와 Arrow Debreu 균형의 계산 복잡도 동일함
연결성 확률 계산의 지수적 시간 복잡도
양자 플럭투에이션이 만든 첫 번째 차수 전이와 최적화 문제의 알고리즘 성능
다항시간에 정확한 상관균형을 찾는 새로운 알고리즘
정규언어 접두사 접미사 부분문자열 보편성 문제 복잡도
조니슨 항을 통한 제약 언어의 효율성
승패 게임의 새로운 다항시간 해법
다항식 다중선형 항 계수와 최대 다중선형 항 탐색
