Constraint Propagation

<=> Constraint Satisfaction

==> Backtracking

<== Truth-maintenance System

<== Suche

==> Inferenzverfahren