Cs-Cc
노이즈 기반 논리로 풀어낸 부울 만족도 문제
양자 복제 방지와 공개 검증 양자 화폐
이징 다항식의 복잡도와 효율적 계산 가능성
루트된 계통학 문제의 복잡도
반격자 연산 보존 무한 도메인 CSP의 다항시간 해결
거의 모든 선형 방정식 만족 문제의 매개변수 복잡도
클리크 커버와 그래프 분리: 새로운 비압축성 결과
메모리 없는 계산의 새로운 한계와 효율적 설계
짧은 초문자열 문제와 관련 문제들의 하한 강화
평면 그래프와 라인 그래프의 무지개 연결성 연구
무작위 K SAT 트리에서의 행동 분석
산술 회로의 단항식 문제: 카운팅 계층 완전성
분산 최대 매칭: 탐욕 알고리즘이 최적이다
보편적 c.e. 집합과 초기 구간 프리픽스 자유 복잡도
작은 보편 튜링 기계의 복잡도와 효율성 연구
DAG에서 차수열 실현 문제의 NP완전성 및 파라미터 트랙터빌리티
끝표시기에서만 선택하는 양방향 자동화의 효율적 변환
대규모 서브스페이스 회피 집합의 명시적 구성과 리스트 디코딩 응용
강력한 SDP 계층의 다밀도 k 서브그래프에 대한 다항 적분성 격차
숨겨진 시프트 거듭제곱 문제와 효율적인 쿼리 알고리즘
최대 전사 제약 만족 문제 근사화
대칭·비대칭 보간법으로 본 유한체 확장 곱셈의 이중 복잡도 혁신
