국제인공지능학회(구 한국인터넷방송통신학회) 한국인터넷방송통신학회 논문지 제23권 제6호 2023.12 pp.125-132
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
최소 빈도수 문자 우선 선택 방법의 3-SAT 다항시간 알고리즘
국제인공지능학회(구 한국인터넷방송통신학회) 한국인터넷방송통신학회 논문지 제23권 제1호 2023.02 pp.157-162
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Acceleration of the Collision Detection for the Grasping of Objects by a Robotic Hand
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.8 No.4 2015.04 pp.181-200
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule
[Kisti 연계] 한국정보처리학회 Journal of information processing systems Vol.13 No.5 2017 pp.1149-1157
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화
[Kisti 연계] 한국정보통신학회 한국정보통신학회논문지 Vol.20 No.10 2016 pp.1919-1926
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국경영과학회 한국경영과학회 학술대회논문집 2001 pp.242-245
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-