LogicSolver: Theorie

Gegeben sei eine Formel mit N Variablen und K Klauseln. Schätzen Sie die Worst-Case-Komplexität in Abhängigkeit von N und K ab, für...

1. das Greedy-Verfahren
2. das Backtracking-Verfahren.

Begründen Sie jeweils ausführlich.