學生對 EIT 数字 提供的 Automated Reasoning: satisfiability 的評價和反饋
課程概述
熱門審閱
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.
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
1 - Automated Reasoning: satisfiability 的 7 個評論（共 7 個）
創建者 Jaewoo S
•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
•The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
創建者 Aarjavee K
•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
•More programming problems (probably on the later half) would be really interesting and helpful
創建者 Avijit
•Nice Introduction to SAT, SMT.
創建者 Khazam
•Good course, but some quizes are a bit confusing :)
Thank you very much professor.
創建者 Phiphat C
•This course can deploy in real life.
Coursera Footer
