Cs-Cc
베일리 프로파게이션 기반 디시메이션으로 제약 만족 문제 해결
선형 kCNF의 불만족 가능성 전 범위 증명
반대수기하와 위상학 최신 알고리즘과 과제
최소 하이퍼볼륨 기여자 찾기의 이론적 난제와 실용적 해결책
양자 복잡도 알고리즘과 아키텍처의 제한
페트리망 성능 동등성의 비결정성
맥엘리스 암호, 양자 푸리에 샘플링 공격에 강인함을 입증
프로젝티브 리스트 업데이트 알고리즘의 최적 하한과 경쟁비율 1.6의 불가피성
적대적 만족도 문제
무한 유리 관계와 보렐 집합의 복잡도
다항공간에서 무친의 조건 복잡도 정리 개선
기하학적 복잡도 이론과 P 대 NP 전환 전략
하이브리드 논리 조각의 만족도 복잡도 탐구
그룹을 그래프에 구현하기 위한 복잡도 분석
최대 스트립 복구 문제의 근사 불가능성
최적화 문제의 논리식 하한과 라그랑주 대수의 최적성 조건
복잡계 효율 관리를 위한 새로운 정보 처리 방식
알고리즘이 지배하는 실험의 측정 한계
제한된 푸시다운 차원과 Lempel Ziv 정보 밀도
고정점 타일 집합과 그 다채로운 응용
다자간 통신 복잡도에서 파티션 기법의 한계와 가능성
무작위 서브큐브 모델로 보는 제약 만족 문제의 구조
