Lecture 12
Here, we take a look at SAT-based methods and tackle MaxSAT, QBF, #SAT, etc. All of these are not mentioned in the main slides, and this lecture gives a brief overview of SAT-related fields.
We also mention multiple opportunities to do a Master’s thesis, so if you are interesdet, write us an email!
The contents of this lecture will not be relevant to the exam.
The slides are here.