Aufgabe 1
a) A* bis zur vierten Expansion simulieren
b) Ist Dynamische Programmierung nützlicher bei Breiten- oder Tiefensuche?

Aufgabe 2
a) Backtracking ohne Constraintpropagierung
    Variablen lexikographisch belegen
    Werte aufsteigend
    Abgabe in Textform oder als Baum zulässig
b) Forward Check durchführen
c) 2 Konsistenz herstellen

Aufgabe 3
a)Minimax Werte eintragen
b) Baum rotieren um maximale Cutoffs zu erhalten
c) Cutoffs in den rotierten Baum einzeichnen

Aufgabe 4
a) Warum ergibt Backward Chaining keinen Sinn in dieser Aufgabe
b) Resolutionsbeweis
c) Ist im Resolutionsbeweis Faktorisierung notwendig?
d)Rückwärtsverkettung

Aufgabe 5
a) Fehlende Mutexe einzeichnen
b) Liste von 10 Paaren (Bsp. X, not(T)) —> Mutex ja/nein, bei "ja" kurze Begründung(Fachbegriff reicht)