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.