Dominio variabile CSP
Il dominio di una variabile in un sistema CSP è l'insieme dei valori che la variabile CSP stessa può assumere. Il dominio della variabile CSP può essere finito o infinito, a seconda se l'insieme dei valori è composto da un numero finito o infinito di elementi, e può essere discreto o continuo, a seconda se esiste o meno una minima unità di misura delle variazioni, al di sotto della quale le variazioni non sono considerate. Ad esempio, se il dominio di una variabile è l'insieme dei numeri interi, il dominio è infinito e discreto. Se, invece, il dominio di una variabile è l'insieme dei numeri reali, il dominio è infinito e continuo, ecc.
Dominio infinito o continuo. Quando il dominio di una variabile è infinito e/o continuo è impossibile analizzare il problema mediante una enumerazione completa di tutte le combinazioni. 
In tali casi è necessario ricorrere a una operazione di discretizzazione delle variabili oppure ricorrere a linguaggi di specifica di vincoli e di programmazione lineare in cui i vincoli sulle variabili sono espressi sotto forma di sistemi di equazioni e di disequazioni.
