课程信息

7,108 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为20 小时
英语(English)
字幕:英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为20 小时
英语(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的热门评论

查看所有评论

常见问题

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

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