이 강좌에 대하여

공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 25시간 필요
영어
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 25시간 필요
영어

제공자:

Placeholder

EIT 디지털

강의 계획 - 이 강좌에서 배울 내용

1

1

완료하는 데 3시간 필요

SAT/SMT basics, SAT examples

완료하는 데 3시간 필요
6개 동영상 (총 58분), 2 개의 읽기 자료, 3 개의 테스트
2

2

완료하는 데 18시간 필요

SMT applications

완료하는 데 18시간 필요
4개 동영상 (총 33분), 2 개의 읽기 자료, 7 개의 테스트
3

3

완료하는 데 3시간 필요

Theory and algorithms for CNF-based SAT

완료하는 데 3시간 필요
6개 동영상 (총 56분)
4

4

완료하는 데 1시간 필요

Theory and algorithms for SAT/SMT

완료하는 데 1시간 필요
6개 동영상 (총 55분)

검토

AUTOMATED REASONING: SATISFIABILITY의 최상위 리뷰

모든 리뷰 보기

자주 묻는 질문

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.