课程信息

4,767 次近期查看

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

根据您的日程表重置截止日期。

中级

完成时间大约为13 小时

建议:8 hours/week...

英语(English)

字幕:英语(English)

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

根据您的日程表重置截止日期。

中级

完成时间大约为13 小时

建议:8 hours/week...

英语(English)

字幕:英语(English)

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 1 小时

SAT/SMT basics, SAT examples

完成时间为 1 小时
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 table2分钟
Carries in binary addition2分钟
Binary multiplication2分钟
2

2

完成时间为 17 小时

SMT applications

完成时间为 17 小时
4 个视频 (总计 33 分钟), 2 个阅读材料, 7 个测验
4 个视频
Solving Sudoku7分钟
Scheduling8分钟
Bounded model checking8分钟
2 个阅读材料
Sudoku formula in SMT 2 format10分钟
Introduction10分钟
7 个练习
Rectangle fitting2分钟
Scheduling2分钟
Bounded Model Checking2分钟
Filling trucks for a magic factory4小时
A sudoku variant4小时
Job scheduling4小时
Program correctness4小时
3

3

完成时间为 1 小时

Theory and algorithms for CNF-based SAT

完成时间为 1 小时
6 个视频 (总计 56 分钟)
6 个视频
Resolution10分钟
Example of resolution8分钟
DPLL10分钟
Transforming DPLL to resolution9分钟
CDCL basics11分钟
CDCL optimizations6分钟
5 个练习
Resolution2分钟
apply resolution2分钟
DPLL2分钟
DPLL to resolution2分钟
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的热门评论
查看所有评论

常见问题

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

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