Definition
Finite Domain (Constraint Satisfaction)
A CSP domain
is finite if it contains finitely many values: Consequently, an instance with variable set
has possible assignments, and an -ary constraint relation over contains at most tuples.
Finite Domain (Constraint Satisfaction)
A CSP domain
is finite if it contains finitely many values: Consequently, an instance with variable set
has possible assignments, and an -ary constraint relation over contains at most tuples.