Chevron Left
Automated Reasoning: satisfiability に戻る

EIT Digital による Automated Reasoning: satisfiability の受講者のレビューおよびフィードバック

4.8
36件の評価

コースについて

In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness. Also underlying theory is presented: resolution as a basic approach for propositional satisfiability, the CDCL framework to scale up for big formulas, and the simplex method to deal with linear inequallities. The light weight approach to following this course is just watching the lectures and do the corresponding quizzes. To get a flavor of the topic this may work out fine. However, the much more interesting approach is to use this as a basis to apply SAT/SMT yourself on several problems, for instance on the problems presented in the honor's assignment....

人気のレビュー

AK

2020年3月9日

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.

SS

2019年8月1日

The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers

フィルター:

Automated Reasoning: satisfiability: 1 - 7 / 7 レビュー

by Jaewoo S

2019年7月19日

by santosh s

2019年8月2日

by Aarjavee K

2020年3月10日

by himanshu s

2020年5月2日

by Avijit R

2020年2月19日

by Khazam

2019年8月17日

by พิพัฒน์ ช

2020年7月18日