Efficient model transformations by combining pattern matching strategies
1 Chapter 5 Constraint Satisfaction Problems. 2 Outlines Constraint Satisfaction Problems Backtracking Search for CSPs Local Search for CSP The.