Slide 1 Constraint Satisfaction and the Davis-Putnam-Logeman-Loveland Procedure Henry Kautz Slide 2 Guessing versus Reasoning A central feature of all search algorithms is…