본문 바로가기

권기현 (Gihwon Kwon) 논문수  · 이용수 1,976 · 피인용수 2

소속기관
한국정보과학회
소속부서
-
주요 연구분야
공학 > 컴퓨터학
연구경력
-
  • 저자정보 . 논문
  • 공저자 . 저널

저자의 연구 키워드

저자의 연구 키워드
#논리식 축소
#만족가능성 검사
#만족성 문제
#모델 체킹
#바운드 모델 체킹
#바운디드 모델 검증
#변환 기준
#수도쿠 풀이
#시각화
#이진 기수 조건
#인접성
#자바 메모리 모델
#정형 검증
#Adjacency
#Bandera Intermediate Representation
#Boolean Cardinality Constraint
#Bounded model checking
#CNF 변환
#CNF encoding
#Conjunctive Normal Form
#Encoding criteria
#FLTL(Fluent Linear Temporal Logic)
#Formal verification
#Java Memory Model
#Linear Temporal Logic
#logical formula reduction
#LTS(Labeled Transition System)
#Model checking
#SAT 문제
#SAT 처리기
#SAT problem
#SAT solver
#Satisfiability
#Satisfiability Checking
#SMT 해결기
#SMT Solver
#Sudoku solving
#Visualization
더보기

저자의 논문

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.

공식 스폰서와 앰부시 마케팅의 광고 크리에이티브 효과 : 2009 광저우 아시안게임을 중심으로

  • 페이지로 구성된 논문입니다.
  • 구매 후 전체 페이지를 이용하세요.
구독하기

논문보기

무료

구매하기

논문보기+다운받기
  • img_quickview01