First page
Back
Continue
Last page
Summary
Graphics
Solution
CSP instance I is solved by CL S iff
S is well formed
S is complete (domain is all vars of I)
S satisfies every constraint in I