Re: graduate students' reading seminar (Tung Anh Vu -- majority 3-SAT)