Отзывы учащихся о курсе Automated Reasoning: satisfiability от партнера EIT Digital
О курсе
Лучшие рецензии
AK
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.
SS
1 авг. 2019 г.
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
1–7 из 7 отзывов о курсе Automated Reasoning: satisfiability
автор: Jaewoo S
•19 июля 2019 г.
This was a great introductory course for satisfiability. I strongly recommend you to solve all the honorary problems because they were so useful for thorough understanding.
автор: santosh s
•2 авг. 2019 г.
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
автор: Aarjavee K
•10 мар. 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.
автор: himanshu s
•2 мая 2020 г.
More programming problems (probably on the later half) would be really interesting and helpful
автор: Avijit R
•19 февр. 2020 г.
Nice Introduction to SAT, SMT.
автор: Khazam
•17 авг. 2019 г.
Good course, but some quizes are a bit confusing :)
Thank you very much professor.
автор: พิพัฒน์ ช
•18 июля 2020 г.
This course can deploy in real life.
Coursera Footer
