[PPT] - A Formally Verified Symmetry Breaking Tool for SAT David E. Narv PowerPoint Presentation