Cs-Cc
보편 계산의 동적 정성 행동 연구
두 메시지 양자 인터랙티브 증명과 양자 분리 가능성 문제
조합 형태 최적 히팅셋
디자인 행렬의 계수 향상과 켈리 정리의 새로운 증명
텐서 수축의 연산 복잡성
라셀레레 계층의 상수 인수 적분 차이: 균형 분리와 균일 희소 컷
다수는 가장 안정적이다 이산 및 SoS
다항시간을 포착하는 의존 논리의 작은 조각
두 손이 하나보다 더 강력하다
삼각형 제한과 교차 자유 볼록성 이산 최적화의 새로운 트랙터블 클래스
지연제한 협동 무선 네트워크의 다중 흐름 전송
피드백 기반 소멸 채널을 위한 선형 네트워크 코딩: 복잡도와 효율 알고리즘
ALC 포함 관계 복잡도 일반화 연구
강한 우주 검열 가설과 계산 가능성 이론의 새로운 연결고리
존재적 구슬 게임과 k일관성 하한 연구
초고계수성 합의제곱 증명과 그 응용
반무작위 그래프 분할 문제 근사 알고리즘
콜모고로프 복잡도와 인과성 그리고 스핀의 새로운 통합 이론
상대화된 명제 논리 증명 체계 연구
희소 푸리에 전개와 부울성 테스트
SOS와 역하이퍼컨트랙티브 부등식으로 보는 프랭클‑로드 그래프의 독립집합 한계
PSPACE를 위한 경량 선형 논리 기반 타입 시스템
