인공지능 (AI)
4 JAN, 2009
전역 제약조건의 파라미터화 복잡도 연구
By Christian Bessiere
계산 복잡도
23 JAN, 2008
희소 하이퍼그래프의 비순환성 파라미터 근사화
By Fedor V. Fomin
컴퓨터 수치 해석
2 JAN, 2013
대부분의 텐서 문제는 NP하드
By Christopher Hillar
통계 역학
4 JAN, 2008
무작위 제약 만족 문제의 위상 전이와 계산 난이도
By Florent Krzakala
수리 논리학
9 JAN, 2011
계산 가능한 단순 게임의 특성 및 핵심 적용
By Masahiro Kumabe
계산 복잡도
25 JAN, 2008
행렬 및 그래프 기반 마트로이드 동형성 문제의 복잡도 연구
By Raghavendra Rao B.V.
계산 복잡도
13 JAN, 2011
존재적 양성 일차 논리의 복잡도
By Manuel Bodirsky
미분 기하학
15 JAN, 2010
P와 NP의 기하학적 접근: 군 행동과 복잡도 클래스의 새로운 시각
By J.M. L
인공지능 (AI)
9 JAN, 2011
다항 경로 순서와 의존성 쌍을 이용한 다항 시간 복잡도 자동 인증
By Martin Avanzini
인공지능 (AI)
9 JAN, 2009
값 대칭 깨기 정적·동적 방법의 한계
By Toby Walsh
계산 복잡도
9 JAN, 2011
정규 그래프의 복소수 엣지 함수에 대한 홀런트 문제 복잡도 이분법
By Michael Kowalczyk
계산 복잡도
6 JAN, 2015
반복 약점 우위 제거와 행렬 소거, 매치드 경로의 복잡성 탐구
By Felix Br
계산 복잡도
30 JAN, 2010
경계 기저 탐지 문제의 NP완전성
By Prabhanjan V. Ananth
인공지능 (AI)
5 JAN, 2019
베일리 프로파게이션 기반 디시메이션으로 제약 만족 문제 해결
By Andrea Montanari
이산 수학
20 JAN, 2007
선형 kCNF의 불만족 가능성 전 범위 증명
By Dominik Scheder
대수 위상 수학
17 JAN, 2007
반대수기하와 위상학 최신 알고리즘과 과제
By Saugata Basu
계산 복잡도
13 JAN, 2015
최소 하이퍼볼륨 기여자 찾기의 이론적 난제와 실용적 해결책
By Karl Bringmann
양자 물리학
11 JAN, 2010
양자 복잡도 알고리즘과 아키텍처의 제한
By Daniel James Shepherd
성능 평가
29 JAN, 2015
페트리망 성능 동등성의 비결정성
By Slawomir Lasota
양자 물리학
19 JAN, 2010
맥엘리스 암호, 양자 푸리에 샘플링 공격에 강인함을 입증
By Hang Dinh
계산 복잡도
2 JAN, 2014
프로젝티브 리스트 업데이트 알고리즘의 최적 하한과 경쟁비율 1.6의 불가피성
By Christoph Ambuehl
통계 역학
23 JAN, 2015
적대적 만족도 문제
By Michele Castellana
수리 논리학
26 JAN, 2010
무한 유리 관계와 보렐 집합의 복잡도
By Olivier Finkel (ELM)
계산 복잡도
12 JAN, 2012
다항공간에서 무친의 조건 복잡도 정리 개선
By Daniil Musatov
