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

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

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

2019 .01

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

박경태 ,  나승진 ,  백은옥

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

2008 .10

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

민병문 ,  김응태 ,  탁민제

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

2005 .04

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

강형주

한국정보통신학회논문지

2016 .10

SAT-CDMA의 임의접속채널

임광재 ,  강군석 ,  김수영

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

2001 .11

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

권기현

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

2007 .07

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

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

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

2006 .09

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

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

항공우주산업기술동향

2005 .12

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

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

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

2006 .12

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

이도경 ,  남원홍

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

2016 .12

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

허연행 ,  김형호 ,  김인동

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

2016 .05

IMT-2000의 위성부문 SAT-CDMA System 성능평가

전훈 ,  박휘원 ,  이승익 외 1명

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

1999 .07

얕은 불포화 및 포화 대수층을 모사한 SAT 토양칼럼에서의 하수처리장 방류수 처리 수질 변화

차우석 ,  김정우 ,  최희철 외 3명

지하수토양환경

2005 .01

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

김정우 ,  차우석 ,  최희철

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

2003 .01

SAT 토양칼럼에서 불포화 층의 깊이가 처리수질에 미치는 영향

차우석 ,  김정우 ,  최희철

대한환경공학회지

2004 .02

SATS: Structure-Aware Touch-Based Scrolling

Dohyung Kim ,  Gahgene Gweon ,  Geehyuk Lee

[ETRI] ETRI Journal

2016 .12

동적오염분석과 SAT 해석기를 이용한 상용 소프트웨어 보안 취약점 분석 연구

김성호 ,  박용수

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

2014 .06

Search Formula - 1

한국정보기술전문가협회

한국정보기술전문가협회 소프트웨어공모대전

2002 .01

Automated Goal-Oriented Testing for Pointer Programs with SAT

Insang Chung

한국멀티미디어학회 국제학술대회

2008 .07

콘크리트충전 각형강관 기둥의 내력제안식

김희동 ,  이명재

한국강구조학회지

1997 .09