Special Topics: Satisfiability
Lecture 21

https://www.systutorials.com/docs/linux/man/1-picosat/

https://ericpony.github.io/z3py-tutorial/guide-examples.htm

https://www.coursera.org/lecture/automated-reasoning-sat/eight-queens-problem-KZzKe

https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/

https://sat-smt.codes/SAT_SMT_by_example.pdf

https://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa08/slides/barret2_smt.pdf

https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/

https://sites.cs.ucsb.edu/~bultan/courses/267/lectures/l14.pdf

https://paulgazzillo.com/papers/esecfse21.pdf

Read at least the introduction and the overview.

Submit on webcourses, (only one sentence each):

1. What is the problem?
2. What is the solution?
3. What is the list of contributions?
4. Any other thoughts.