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

이도경 ,  남원홍

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

2016 .12

NuSMV를 이용한 Needham-Schroeder 프로토콜 정형 검증

권무근 ,  김민지 ,  남원홍 외 1명

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

2015 .12

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

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

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

2019 .01

An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV

Yongho Kim ,  Jin-Woo Jung ,  John C. Gallaghe 외 2명

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2016 .06

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

강형주

한국정보통신학회논문지

2016 .10

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

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

Journal of Positioning, Navigation, and Timing

2021 .01

Analysis on Behavioral Similarity of N-Puzzle with 3n+1 Problem

아흐마드 이자즈 ,  신석주

한국차세대컴퓨팅학회 논문지

2018 .01

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

허연행 ,  김형호 ,  김인동

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

2016 .05

Solving Puzzles for Highly Efficient Engine Development

Donghee Han

한국자동차공학회 Workshop

2017 .08

SATS: Structure-Aware Touch-Based Scrolling

Dohyung Kim ,  Gahgene Gweon ,  Geehyuk Lee

[ETRI] ETRI Journal

2016 .12

딥 러닝을 이용한 CSAT와 SAT의 비교 및 개선점 제안

이민영

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

2022 .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

화염의 동역학 모사를 위한 G-equation solver 개발

손주훈 ,  신동혁

한국전산유체공학회 학술대회논문집

2023 .10

몬테카를로 방법, 시간차 학습 (SARSA 제어, Q-Learning 제어) 방법을 통한 Sliding Puzzle 에이전트 학습 성능 비교

문성욱 ,  정다은 ,  김재현 외 1명

대한전자공학회 학술대회

2021 .11

CNN 기반 Jigsaw Puzzle 문제 해결 연구

김태훈 ,  황원준

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

2019 .11

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

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

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

2018 .04

매치3 퍼즐 게임의 레벨 난이도 설계에 관한 연구

염동현

한국컴퓨터정보학회 학술발표논문집

2019 .07

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

정수엽 ,  오덕길

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

2017 .06

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

심성일 ,  이정환 ,  이원영

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

2023 .11

고속 FPGA 모델을 쉽게 구현할 수 있도록 하는 Solver 기술

천종민 ,  김재홍

전력전자학회지

2015 .08