Finite Domain (Constraint Satisfaction)

Definition

Finite Domain (Constraint Satisfaction)

A CSP domain $D$ is finite if it contains finitely many values:

$$1\le |D|=d<\infty .$$

Consequently, an instance with variable set $V$ has $d^{|V|}$ possible assignments, and an $r$-ary constraint relation over $D$ contains at most $d^r$ tuples.