Cs-Dm
다항식 성장 함수를 구현하는 D0L‑시스템의 완전성
자동화 이론과 상징적 동역학의 교차점
연속 1 특성 검사 절단 혹은 교환
무작위 그래프에서 사이클 존재 확률의 정확한 분석
조합 설계를 활용한 무선 센서 네트워크 키 사전배포 적용성 연구
다차원 일반화 자동수열과 형태대칭 형태어
다중접속채널을 위한 폴라 코드
정점 커버와 관련 문제들의 근사 가능성 연구
특성 2 체계와 행렬식으로 푸는 해밀턴 분해의 짝·홀수 판정
베타 자유 에너지와 그래프 제타 함수의 연결
다중 시퀀스 최장 공통 부분수열 탐색을 위한 침적·확장 기법
대칭 순서 구조에서의 뫼비우스 변환과 용량 이론 적용
삼각형과 육각형 수보존 셀룰러 오토마타 시뮬레이션
상수 구성 코드의 PBD 폐쇄와 최적 길이 결정
특수 최대 매칭 존재 여부의 복잡도 연구
통합 사전 자료구조의 효율적 병합과 분할
분류 기반 안정 매칭: 구조적 복잡도와 다각형 해법
양자 분기 프로그램을 위한 지문 기법 기반 알고리즘
준볼록 함수와 단조 연결 함수의 이중성
효율적 알고리즘으로 발견한 체르니 추측의 새로운 경향과 사례
구성 LP의 한계와 비연관 기계 스케줄링 새로운 통찰
형태학적 수열의 거의 주기성 판정 기준
