Verwendete Symbole

$P$	Constraint Satisfaction Problem (CSP)
$C$	Constraint
$C^u$	unäres Constraint
$C^b$	binäres Constraint
$R$	Relation
$R^u$	unäre Relation
$R^b$	binäre Relation
$R_{i,j}$	Relation zwischen den Variablen $v_i$ und $v_j$
$v$	Constraint-Variable
$D$	Wertebereich einer Constraint-Variable (Domäne)
$D_1 \times \cdots \times D_n$	kartesisches Produkt der Wertebereiche $D_1$ bis $D_n$
$d$	Variablenwert aus der Domäne einer Constraint-Variable $d{}\in{}D$
$\vec{a}$	Teilbelegung der Variablen eines CSP
$I$	Intervall
$[a_1,a_2]$	abgeschlossenes Werteintervall mit $a_1$ als untere und $a_2$ als obere
	Schranke
$]a_1,a_2[$	offenes Werteintervall mit $a_1$ als untere und $a_2$ als obere Schranke
$x^+$	innerhalb der Präzisionsgrenzen die kleinste darstellbare Zahl $>x$
$x^-$	innerhalb der Präzisionsgrenzen die größte darstellbare Zahl $<x$
$\textup{I\hspace{-0.4ex}R}$	Menge der reellen Zahlen
${\sf {I}}(\textup{I\hspace{-0.4ex}R})$	Menge der beschränkten, abgeschlossenen, reellen Intervalle
	(ohne $-\infty$ und $+\infty$)
${\sf {I^*}}(\textup{I\hspace{-0.4ex}R})$	Menge der unbeschränkten, abgeschlossenen, reellen Intervalle
	(inkl. $-\infty$ und $+\infty$)
${\sf {L^*}}(\textup{I\hspace{-0.4ex}R})$	Menge der reellwertigen, unteren Grenzen (inkl. $-\infty$ und $+\infty$)
${\sf {U^*}}(\textup{I\hspace{-0.4ex}R})$	Menge der reellwertigen, oberen Grenzen (inkl. $-\infty$ und $+\infty$)
$B^\Box$	Box
$\Phi_{kB}(P)$	P ist kB-konsistent
$\Phi_{Box}(P)$	P ist Box-konsistent