4.3.3 Searching for Solved Forms

Given a description \phi, 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 R_{xy} consistent with these constraints.


Denys Duchier
Version 1.2.0 (20010221)