Constraint (Constraint Satisfaction)

Definition

Constraint (Constraint Satisfaction)

A constraint $C=(S,R)$ is an ordered tuple composed of a scope $S\subseteq V^r$ (variables) and a relation $R\subseteq D^r$ (domain).