Cs-Cc
제네럴라이즈드 네마우저 트로터 정리와 제한 차수 삭제 문제
블록 대각 구조 선형계획의 최적 블록 집합화 전략
조언을 이용한 일방향 가역 및 양자 유한 자동기
화살표 문제의 1차 논리 비정의성을 위한 충분조건
선택의 힘으로 바꾸는 랜덤 SAT 임계점
부분 매칭을 완전 매칭으로 확장하는 문제, NP‑완전
전력법칙 그래프에서 최소 지배 집합의 근사 불가능성
벡터 스케줄링을 일반화된 부하 균형으로 연결한 혁신적 온라인 알고리즘
전략적 베이지안 네트워크와 계산 비대칭
노이즈 기반 논리로 모자에서 숫자 뽑기
공동귀환을 통한 코인덕티브 데이터의 내재 복잡도 분석
계산 가능한 평면 타일링을 위한 지역 규칙
튜링 머신과 계산 복잡성 이해
계산가능성 논리의 PSPACE 완전성
균등 복잡도와 수치 연산 해석 함수에서 다항시간까지
전력법칙 그래프에서 정점 커버 근사 하한의 새로운 향상
정규 언어의 해부력: 무한 언어를 두 무한 부분으로 나누다
쿼터니언 대수 곱셈의 최소 이중선형 복잡도
P와 NP의 무한·유한 기저 탐구
인터랙티브 행동의 계산 복잡도
큐빅 그래프 TSP 상한을 새롭게 개선
중심열 입장 시간과 입자 결함 역학
