Kursteilnehmer-Bewertung und -Feedback für Automated Reasoning: satisfiability von EIT Digital
Über den Kurs
Top-Bewertungen
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.
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.
1 - 7 von 7 Bewertungen für Automated Reasoning: satisfiability
von 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.
von santosh s
•The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
von 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.
von himanshu s
•More programming problems (probably on the later half) would be really interesting and helpful
von Avijit
•Nice Introduction to SAT, SMT.
von Khazam
•Good course, but some quizes are a bit confusing :)
Thank you very much professor.
von Phiphat C
•This course can deploy in real life.
Coursera Footer
