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
교육 기관: Jaewoo S
•2019년 7월 19일
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
•2019년 8월 2일
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
교육 기관: Aarjavee K
•2020년 3월 10일
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
•2020년 5월 2일
More programming problems (probably on the later half) would be really interesting and helpful
교육 기관: Avijit R
•2020년 2월 19일
Nice Introduction to SAT, SMT.
교육 기관: Khazam
•2019년 8월 17일
Good course, but some quizes are a bit confusing :)
Thank you very much professor.
교육 기관: พิพัฒน์ ช
•2020년 7월 18일
This course can deploy in real life.