このコースについて

13,226 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約25時間で修了
英語
字幕:英語
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約25時間で修了
英語
字幕:英語

提供:

Placeholder

EIT Digital

シラバス - 本コースの学習内容

1

1

3時間で修了

SAT/SMT basics, SAT examples

3時間で修了
6件のビデオ (合計58分), 2 readings, 3 quizzes
6件のビデオ
Introduction to SAT7 分
SMT syntax and tools11 分
Eight queens problem9 分
Binary Arithmetic: addition10 分
Binary Arithmetic: multiplication12 分
2件の学習用教材
Examples from the lecture10 分
Eight queens formula in SMT syntax10 分
3の練習問題
Truth table30 分
Carries in binary addition30 分
Binary multiplication30 分
2

2

18時間で修了

SMT applications

18時間で修了
4件のビデオ (合計33分), 2 readings, 7 quizzes
4件のビデオ
Solving Sudoku7 分
Scheduling8 分
Bounded model checking8 分
2件の学習用教材
Sudoku formula in SMT 2 format10 分
Introduction10 分
7の練習問題
Rectangle fitting30 分
Scheduling30 分
Bounded Model Checking30 分
Filling trucks for a magic factory4 時間
A sudoku variant4 時間
Job scheduling4 時間
Program correctness4 時間
3

3

3時間で修了

Theory and algorithms for CNF-based SAT

3時間で修了
6件のビデオ (合計56分)
6件のビデオ
Example of resolution8 分
DPLL10 分
Transforming DPLL to resolution9 分
CDCL basics11 分
CDCL optimizations6 分
5の練習問題
Resolution30 分
apply resolution30 分
DPLL30 分
DPLL to resolution30 分
CDCL basics
4

4

1時間で修了

Theory and algorithms for SAT/SMT

1時間で修了
6件のビデオ (合計55分)
6件のビデオ
The Tseitin transfomation10 分
Introduction to the Simplex method7 分
Optimizing by the Simplex method11 分
Checking feasibility by the Simplex method8 分
The Simplex method and SMT8 分
4の練習問題
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

レビュー

AUTOMATED REASONING: SATISFIABILITY からの人気レビュー

すべてのレビューを見る

よくある質問

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。