SAT algorithms
Talk on 3-SAT and MIS
Talk on 2-SAT
Talk on Algorithms for 3-SAT, Slides by William Gasarch
Backdoor Variables and other approaches to SAT, a talk by Marco Gario
Maximum Ind Sets. A talk by Bill Gasarch
Paper by Robson that claims to improve MIS algorithms