Cs-Cc
연료 효율적인 수동 자기조립 계산
그래프 연산을 이용한 파리티 게임의 다항시간 해결
리프팅으로 만든 새로운 아핀 불변 코드
NP 증인의 해밍 근사 불가능성
독립절단 문제의 난제 근사불가능성 및 MAXSNPHardness
워크플로우 만족도 문제의 파라미터화 복잡도와 커널화 연구
화살표와 기브바드‑사터스와이트 사이: 대칭군 표현론적 접근
양자 튜링머신의 결정적 정지와 SRQTM 모델
슬라이딩 윈도우 제한 저장소에서의 시간‑공간 트레이드오프
불리언 만족도 문제에 숨겨진 수 체계
마인스위퍼 복잡도 탐구
K2,2 없는 이분 그래프의 CNF 복잡도
수체 정규형을 다항시간에 구하는 새로운 모듈러 알고리즘
와일드카드 압축을 이용한 2CNF 부울식 모델 전부 열거
원소 구별 문제에 대한 최적 적대자 하한
근접 이웃 양자 회로의 최적 깊이 설계
비균일 콜모고로프 추출기의 한계와 가능성
테스트 커버 문제 다항 커널 존재 여부
대칭성 파괴 제약 최신 연구
보편적 팩터 그래프
문자열 분할 문제의 복잡성 분석
선형 프레임과 자연수 위 단조 하이브리드 논리의 복잡도 분석
