I prepared some material on SAT solving for a 3-day mini PhD course in IT-U of Copenhagen. If you want to learn about SAT solving, this should be a good starting point.
I am a researcher in the Systems Research Group of MSR-Asia in Beijing. Before joining MSR-A in late 2008, I was a researcher in Microsoft Research Silicon Valley. In the past I have worked on a diverse set of exciting projects, including verification and logic, internet security, distributed storage systems, computer architecture and reconfigurable computing. My most recent interest is system issues in very large-scale, distributed systems. I was an architect for Bing’s new index serving engine, which went live recently.