4.3.3 Searching for Solved Forms

Given a description , we transform it into the constraint satisfaction problem given by the conjunction of the well-formedness constraints and the problem specific constraints. The CSP can be solved by searching for assignments to the variables consistent with these constraints.