Documents 1 CSPs: Adding Structure to SAT George Katsirelos Fahiem Bacchus University of Toronto.

Slide 11 CSPs: Adding Structure to SAT George Katsirelos Fahiem Bacchus University of Toronto Slide 2 2 Introduction Finite domain Constraint Satisfaction Problems (CSPs).…