Definition
Finite Constraint Language (Constraint Satisfaction)
A constraint language
is finite if it contains only finitely many relations: This restricts the number of available relation types, not the number of values in their common domain.
Finite Constraint Language (Constraint Satisfaction)
A constraint language
is finite if it contains only finitely many relations: This restricts the number of available relation types, not the number of values in their common domain.