Kevin Leyton-Brown's research is a good read for SAT if you're interested in the state-of-the-art, and more specifically emperical/meta algorithms: http://www.cs.ubc.ca/~kevinlb/publications.html