AK
9 de mar de 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 de ago de 2019
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
por Jaewoo S
•19 de jul de 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.
por santosh s
•2 de ago de 2019
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers
por Aarjavee K
•10 de mar de 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.
por himanshu s
•2 de mai de 2020
More programming problems (probably on the later half) would be really interesting and helpful
por Avijit R
•19 de fev de 2020
Nice Introduction to SAT, SMT.
por Khazam
•17 de ago de 2019
Good course, but some quizes are a bit confusing :)
Thank you very much professor.
por พิพัฒน์ ช
•18 de jul de 2020
This course can deploy in real life.