Advanced SAT Solving Topics seminar