Constraint Satisfaction

<=> Suche

<=> Constraint Propagation

<== Constraint

<== Constraint Relaxation

<== Generieren und Testen

==> Backtracking

==> Heuristik

<== Schliessen, analog(isch)es