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

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

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

2019 .01

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

강형주

한국정보통신학회논문지

2016 .10

SAT#1 (Preliminary Integration) Test Results of KASS System

정환호 ,  장현진 ,  김군택 외 2명

Journal of Positioning, Navigation, and Timing

2021 .01

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

이도경 ,  남원홍

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

2016 .12

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

허연행 ,  김형호 ,  김인동

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

2016 .05

SATS: Structure-Aware Touch-Based Scrolling

Dohyung Kim ,  Gahgene Gweon ,  Geehyuk Lee

[ETRI] ETRI Journal

2016 .12

Analysis Method for Determining Optimal Synthetic Aperture Time Using Estimated Range and Doppler Cone Angle at the Center of Synthetic Aperture Length

Min-Ji Kim ,  Sangho Lim ,  Dong-Cho Shin

Journal of Electromagnetic Engineering And Science

2023 .05

대규모 언어 모델을 이용한 대학수학능력평가 영어 문제 생성 모델 구현 및 평가

박지연 ,  이재욱 ,  최제범 외 3명

대한전자공학회 학술대회

2024 .06

SDR 송수신기를 이용한 큐브위성 K²SAT 통신계 검증

곽필원 ,  김기덕 ,  김태영 외 3명

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

2018 .04

Comparison of Number’s Puzzle using NuSMV and SAT Solver

Anit Thapaliya ,  Gihwon Kwon

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

2016 .06

Ku/Ka 밴드 위성에서의 Sat-IoT 전송 서비스를 위한 다중 접속 프레임 구조 연구

정수엽 ,  오덕길

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

2017 .06

국내외 페로니켈 슬래그의 열역학 모델링을 통한 SAT 공정 설계 및 제조된 PS Ball의 재료 특성 분석

심성일 ,  이정환 ,  이원영

한국콘크리트학회 학술대회 논문집

2023 .11

전자 패키징 내부 검출용 주사음향현미경(SAT) 사용법에 대한 고찰

이강후 ,  송인협 ,  신소원 외 1명

한국정밀공학회 학술발표대회 논문집

2024 .11

큐브위성 K ²SAT 비행모델에 대한 구조해석

김태호 ,  김기덕 ,  김태영 외 3명

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

2017 .11

회귀분석과 딥러닝의 예측 정확성에 대한 비교 그리고 딥러닝 모델 최적화를 위한 기법들의 중요성에 대한 실증적 분석

조민호

한국전자통신학회 논문지

2023 .04

SAT 운용을 위한 세라믹의 미세 크랙 판별 소프트웨어 개발

권문수 ,  이종환

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

2015 .04

SAT(Systematic Approach to Training)에 따른 방사선 장해방어 감독자 과정의 개편 방안 연구

고한석 ,  김웅기

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

2016 .04

다양한 딥러닝 알고리즘과 활용

김지원 ,  표현아 ,  하정우 외 2명

정보과학회지

2015 .08

리튬이온전지를 이용한 전기저장장치의 SAT용 성능평가 알고리즘에 관한 연구

박재범 ,  김병기 ,  김미성 외 1명

한국산학기술학회 논문지

2019 .06

딥러닝

이승철 ,  정해동 ,  박승태 외 1명

소음·진동

2017 .05