课程信息

14,815 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为25 小时
英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为25 小时
英语(English)

提供方

Placeholder

EIT 数字

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 3 小时

SAT/SMT basics, SAT examples

完成时间为 3 小时
6 个视频 (总计 58 分钟), 2 个阅读材料, 3 个测验
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 个阅读材料, 7 个测验
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 个视频
Resolution10分钟
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的热门评论

查看所有评论

常见问题

还有其他问题吗?请访问 学生帮助中心