Cs-Cc
보수적 유한값 CSP의 복잡도 완전 분류
소셜 네트워크 영향 확산 근사 해법 분석
부울 함수 테스트를 위한 양자 알고리즘
컴퓨팅 생물학의 알고리즘 복잡성 기본과 도전 그리고 한계
3차원 온도 1 자가조립과 2차원 확률적 조립 효율적인 타일 복잡도와 튜링 완전성
거듭제곱 회로와 지수 대수의 시간 복잡도
네 원소 위 최소 CSP 부분모듈러리티를 넘어
ALC 하위 불리언 조각의 만족도 복잡도 분석
평문 복원기 영역이 접두사 자유 복원기 영역을 포함하지 않는다
비음수 가중 CSP의 완전 복잡도 이분법
이진 매트로이드 튜트 다항식 근사화와 복합 복잡도
범주적 텐서 네트워크 상태와 문자열 다이어그램
프랙탈 클라우드에서 SAT와 QSAT을 푸는 모듈형 일반 솔버
전이 대칭 함수의 블록 민감도 새로운 경계
이미지 논리적 깊이 기반 복합성 분석 및 분류
양자 알고리즘 속도 향상의 해석과 탈양자화
상수 시간 양자 검색 알고리즘의 실험적 구현 및 IBM Q 검증
양자 전략 게임 이론의 새로운 전환
단항식 학습을 위한 반평면의 난이도와 약한 비관용 학습의 NP 어려움
전략별 루프 검증을 통한 비종료 자동 판정
Fagin 정리 24에서 k값 찾기
라멜리 구조의 환원과 라무리 이론 활용
