Cs-Cc
하이브리드 논리 조각의 만족도 복잡도 탐구
그룹을 그래프에 구현하기 위한 복잡도 분석
최대 스트립 복구 문제의 근사 불가능성
최적화 문제의 논리식 하한과 라그랑주 대수의 최적성 조건
복잡계 효율 관리를 위한 새로운 정보 처리 방식
알고리즘이 지배하는 실험의 측정 한계
제한된 푸시다운 차원과 Lempel Ziv 정보 밀도
고정점 타일 집합과 그 다채로운 응용
다자간 통신 복잡도에서 파티션 기법의 한계와 가능성
무작위 서브큐브 모델로 보는 제약 만족 문제의 구조
양자 채널 구별 문제의 계산 복잡도
모노이드 이차 논리의 파라미터화된 비가역성
PDL 최적 테이블라우 결정 절차
다항시간 계산가능성의 유리·실수 함수 비교 연구
정규 제약을 가진 항들의 인스턴스 집합 정규성 결정은 EXPTIME‑완전
비단조 논리의 복잡성 탐구
컨볼루션 코드 ML 디코딩 복잡도 혁신: 인접 로그우도 기반 최적성 검증
예측 불가능성 강화와 퍼즐 난이도 증폭의 새로운 증명
정적 구조의 복잡성으로 본 린의 제3법칙
전기 흐름과 라플라시안으로 풀어내는 최대 흐름 가속화
약속 하에 명제 증명 복잡도 탐구
최소 라우팅 비용 스패닝 트리의 병렬 근사 알고리즘
