在本课程中，您将学习如何应用可满足性（SAT/SMT）工具来解决各种问题。 我们将举出几个基本示例，让您了解这些应用的特点：拟合用于印刷海报的矩形、调度问题、解谜和程序正确性。此外，还介绍了基础理论：作为命题可满足性基本方法的解析，用于扩展大公式的 CDCL 框架，以及处理线性不等式的单纯形方法。 学习《自动推理：可满足性》课程的轻量级方法是观看讲座和做相应的测验。要想了解该主题，这种方法可能还不错。不过，更有趣的方法是以此为基础，自己应用 SAT/SMT 解决一些问题，例如荣誉作业中提出的问题。
自动推理：可满足性
要了解的详细信息
可分享的证书
添加到您的领英档案
作业
19 项作业
授课语言：英语（English）
了解顶级公司的员工如何掌握热门技能
人们为什么选择 Coursera 来帮助自己实现职业发展
Felipe M.
自 2018开始学习的学生
''能够按照自己的速度和节奏学习课程是一次很棒的经历。只要符合自己的时间表和心情，我就可以学习。'
Jennifer J.
自 2020开始学习的学生
''我直接将从课程中学到的概念和技能应用到一个令人兴奋的新工作项目中。'
Larry W.
自 2021开始学习的学生
''如果我的大学不提供我需要的主题课程，Coursera 便是最好的去处之一。'
Chaitanya A.
''学习不仅仅是在工作中做的更好：它远不止于此。Coursera 让我无限制地学习。'
学生评论
- 5 stars
82.22%
- 4 stars
13.33%
- 3 stars
4.44%
- 2 stars
0%
- 1 star
0%
显示 3/45 个
KK
已于 Aug 16, 2019审阅
Good course, but some quizes are a bit confusing :)Thank you very much professor.
HS
已于 May 2, 2020审阅
More programming problems (probably on the later half) would be really interesting and helpful
AK
已于 Mar 9, 2020审阅
The course is a great introduction to satisfiability problem and its wide range of applications in day to day life. Honors assignments really helped me understand the core concepts better.
从 计算机科学 浏览更多内容
University of Colorado Boulder
University of London
University of Leeds
