과제전개구조형 CISAT모형의 설계

강일중 ,  이재하 ,  권철신

대한산업공학회 추계학술대회 논문집

2007 .11

실시간 스케줄링을 위한 SAT 알고리즘의 적용

박경태 ,  나승진 ,  백은옥

한국정보과학회 학술발표논문집

2008 .10

A Design of the Cost-Effectiveness Analysis System for Evaluating Planning Alternatives of R&D Project

김정훈 ,  홍순옥 ,  권철신

대한산업공학회 추계학술대회 논문집

1991 .10

유비쿼터스 컴퓨팅의 실내 측위 기술을 위한 U-SAT 시스템의 적용에 관한 연구

이동활 ,  박종진 ,  김수용 외 2명

제어로봇시스템학회 논문지

2006 .09

양자 검색 알고리즘을 이용한 Exactly-1 3-SAT 문제 접근법

하진영 ,  김태현 ,  이흥석 외 1명

한국통신학회 학술대회논문집

2019 .01

상호영향형 계획대체안 수목구조체의 개발

권철신 ,  조근태 ,  강일중

대한산업공학회 춘계공동학술대회 논문집

2001 .04

SAT-Ⅱ UAV의 조종력 할당에 관한 연구

민병문 ,  김응태 ,  탁민제

한국항공우주학회 학술발표회 초록집

2005 .04

전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화

강형주

한국정보통신학회논문지

2016 .10

기술대체모듈 설정모형의 개발

김기찬 ,  안기현 ,  강일중 외 1명

대한산업공학회 추계학술대회 논문집

2007 .11

Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석

이도경 ,  남원홍

한국정보과학회 학술발표논문집

2016 .12

SAT-CDMA의 임의접속채널

임광재 ,  강군석 ,  김수영

한국통신학회 학술대회논문집

2001 .11

SATS 프로젝트의 개요 및 기술현황

안석민 ,  이종원 ,  권태희 외 1명

항공우주산업기술동향

2005 .12

SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩

권기현

정보과학회논문지 : 소프트웨어 및 응용

2007 .07

U-SAT을 이용한 4WS 무인 컨테이너 트랜스포터의 횡방향 제어

이길수 ,  신택영 ,  김수용 외 2명

제어로봇시스템학회 합동학술대회 논문집

2006 .12

R-502 대체 혼합냉매들의 성능에 관한 연구

박윤범 ,  유환규 ,  임병한 외 1명

대한설비공학회 학술발표대회논문집

1994 .11

1차원 현장 soil column 실험을 통한 SAT 반응 모델 검증

김정우 ,  차우석 ,  최희철

한국지하수토양환경학회 학술발표회

2003 .01

R-502 대체냉매 R-402A , R-402B , R-404A의 성능에 관한 실험적 평가 ( Experimental Evaluation on the Thermodynamic Performance of R-502 Alternatives R-402A , R-402B , R-404A )

박동민 ,  박명규 ,  정동수 외 1명

대한기계학회 춘추학술대회

1996 .01

A Method for Generation a Factored SAT Symbolic Reliability Formula

Yoichi Higashiyama ,  Hi ,  omu A 외 4명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1990 .01

휠로더 SAT 개발을 위한 작업 패턴 분석에 대한 연구 : 건설 장비의 인공지능 작업모드 개발

허연행 ,  김형호 ,  김인동

한국자동차공학회 춘계학술대회

2016 .05

도시ㆍ지역계획 수립시에 계획지원시스템의 활용 가능성 탐색

이희연

환경논총

2005 .12