[PPT] - The Quest for Efficient Boolean Satisfiability Solvers Sharad Malik PowerPoint Presentation