Cs-Cc
오메가 수와 유한 정지 문제의 계산력 비교
선형 순서에서 Datalog 복잡도 연구
양자 증명을 이용한 고전 정리
F3 6m 효율적 곱셈을 위한 명시적 공식
자원제한 차원과 학습가능성의 연결고리
양자 분리성 문제를 위한 준다항식 시간 알고리즘
매치게이트 없이 구현하는 홀로그래픽 알고리즘
양자 분기 프로그램을 위한 지문 기법 기반 알고리즘
특수 토폴로지를 갖는 하이브리드 진화 프로세서 네트워크의 수용성 연구
정규 언어와 문맥 자유 언어를 위한 교환 보조정리
양성 등식 없는 1차 논리 모델 검증: 불리언 구조와 3정점 방향 그래프의 복합 복잡도 구분
파라메트릭 최단 경로 알고리즘의 두 단계 접근
시간 할인으로 보는 유한 합리성
차수 제한 그래프의 스패닝 트리 하한 연구
그레이드 모달 논리 만족도 문제의 복잡도 분석
제네럴라이즈드 네마우저 트로터 정리와 제한 차수 삭제 문제
블록 대각 구조 선형계획의 최적 블록 집합화 전략
조언을 이용한 일방향 가역 및 양자 유한 자동기
화살표 문제의 1차 논리 비정의성을 위한 충분조건
선택의 힘으로 바꾸는 랜덤 SAT 임계점
부분 매칭을 완전 매칭으로 확장하는 문제, NP‑완전
전력법칙 그래프에서 최소 지배 집합의 근사 불가능성
