지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Related Work
3. Proposed Method
4. Implementation and Experimental Results
5. Conclusion and Future Work
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석
한국정보과학회 학술발표논문집
2016 .12
양자 검색 알고리즘을 이용한 Exactly-1 3-SAT 문제 접근법
한국통신학회 학술대회논문집
2019 .01
실시간 스케줄링을 위한 SAT 알고리즘의 적용
한국정보과학회 학술발표논문집
2008 .10
전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화
한국정보통신학회논문지
2016 .10
SAT-Ⅱ UAV의 조종력 할당에 관한 연구
한국항공우주학회 학술발표회 초록집
2005 .04
SAT-CDMA의 임의접속채널
한국통신학회 학술대회논문집
2001 .11
유비쿼터스 컴퓨팅의 실내 측위 기술을 위한 U-SAT 시스템의 적용에 관한 연구
제어로봇시스템학회 논문지
2006 .09
Output Signal Probability from a Combinational Circuit
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
SATS 프로젝트의 개요 및 기술현황
항공우주산업기술동향
2005 .12
U-SAT을 이용한 4WS 무인 컨테이너 트랜스포터의 횡방향 제어
제어로봇시스템학회 합동학술대회 논문집
2006 .12
SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩
정보과학회논문지 : 소프트웨어 및 응용
2007 .07
Labeling Scheme for Fault Simulation of Combinational Circuits
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
On the Correction of Multiple Design Errors in Combinational Logic Circuits
ICVC : International Conference on VLSI and CAD
1993 .01
A Method for Generation a Factored SAT Symbolic Reliability Formula
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
휠로더 SAT 개발을 위한 작업 패턴 분석에 대한 연구 : 건설 장비의 인공지능 작업모드 개발
한국자동차공학회 춘계학술대회
2016 .05
SATS: Structure-Aware Touch-Based Scrolling
[ETRI] ETRI Journal
2016 .12
IMT-2000의 위성부문 SAT-CDMA System 성능평가
한국통신학회 학술대회논문집
1999 .07
얕은 불포화 및 포화 대수층을 모사한 SAT 토양칼럼에서의 하수처리장 방류수 처리 수질 변화
지하수토양환경
2005 .01
Design of Combinational Logic Switching Function using Array Graph
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2012 .06
Fast Algorithm of Checking the Equivalence of Hadamard Matrices
한국통신학회 학술대회논문집
1999 .07
0