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