Slide 1 SymChaff: A Structure-Aware Satisfiability Solver Ashish Sabharwal University of Washington, Seattle AAAI, July 2005 Slide 2 2 SAT: The Satisfiability Problem …