Cs-Dm
풍부함·스투르미안·트라페지오드 단어의 삼위일체
최소 엔트로피 방향 찾기
희소 신호 복구를 위한 기하와 조합의 통합 접근법
지향 트리와 분기점: 방향 그래프 최대 잎 문제의 새로운 경계와 빠른 알고리즘
조합 회로 합성을 위한 논리 프로그래밍 프레임워크
보안 그래프와 무선 네트워크 연결성 분석
D0L 시스템 성장 함수의 점근적 거동
다중기준 의사결정을 위한 구간 척도와 차이 척도에 기반한 Choquet 적분 모델
3색 디스크 포장 면적 하한 연구
비정형 초과를 가진 구성요소 성장 분석
동적 불린 네트워크의 새로운 패러다임
매칭 차단 문제의 복잡도와 트리폭 기반 해결법
p 대칭 퍼지 측도와 그 응용
클럼 통계 구성과 정확한 생성함수
가중 독립 시스템에서 비선형 최적화 제한된 근사와 복잡도 한계
평면 그래프 선택 가능성의 복잡성
다각형과 그래프의 엉킴 풀기
실수근 존재 판정 새로운 접근과 3‑SAT 다변량 다항식 변환
Coq와 하이퍼맵을 이용한 이산 조던 곡선 정리
에피스트루미안 단어의 지시어: 동치성 및 정규화
분산 시스템 트리 토폴로지를 위한 최적화 알고리즘 기법
희소 랜덤 그래프의 제한된 색상 수로 균등 샘플링 알고리즘
