Video Lectures
http://web.cs.wpi.edu/~kal/courses/cs503/module9/
CMU
http://www.cs.cmu.edu/~ggordon/780/slides/04-sat.pdf
NP - completeness
Vertex Cover
http://cs.nmu.edu/~mkowalcz/cs422w09/35/lecNotes.pdf
http://www.cs.nthu.edu.tw/~wkhon/toc07-lectures/lecture22.pdf
No comments:
Post a Comment