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