Lukas' Notes

Definition

Constraint (Constraint Satisfaction)

A constraint is an ordered tuple composed of a scope (variables) and a relation (domain).