Cs-Cc
희소 푸리에 전개와 부울성 테스트
SOS와 역하이퍼컨트랙티브 부등식으로 보는 프랭클‑로드 그래프의 독립집합 한계
PSPACE를 위한 경량 선형 논리 기반 타입 시스템
P와 NP 증명의 근본적 불가능성
정확 양자 알고리즘의 초선형 우위
이산 최적화 복잡도에 대한 대수 이론
기본 프로세스 대수 동형성 문제의 지수시간 난이도
동기화 게임과 비용 문제
게임 개발은 힘든 직업, 하지만 누군가는 해야 한다
위상소수제거 그래프의 선형 커널
시간 순서로 구현하는 비동기 셀룰러 오토마타 연산
위상학적 방법으로 바라본 콜모고로프 복잡성의 새로운 전개
정규 실현 가능성 문제의 복잡도 연구
모델 검증 문제 복잡도 사분법
아날로그 연속시간 시스템으로 본 제약 만족 최적화의 난이도와 순간 혼돈
선형 미분 연산자 곱셈의 준최적 알고리즘
불완전 베스트 응답 메커니즘의 수렴성과 인센티브 호환성
계산 복잡도와 서브패턴 구조를 가진 가산 2차원 SFT 연구
함수 방향 2‑색 문제의 난이도 완전 분석
2차원 콜모고로프 복잡도와 코딩 정리 검증을 위한 압축성 접근
솔버블 순열군을 위한 거의 최적 확장 생성 집합
의사프랙탈 스케일프리 웹의 투테 다항식 연구
