In dieser Übung haben wir uns mit Backtracking & Propagation als Ansatz zur Lösung schwerer Entscheidungsprobleme befasst.
Dann haben wir in einem kleinen Exkurs das Problem ‘Boolean Satisfiability (SAT)’ betrachtet.
In dieser Übung haben wir uns mit Backtracking & Propagation als Ansatz zur Lösung schwerer Entscheidungsprobleme befasst.
Dann haben wir in einem kleinen Exkurs das Problem ‘Boolean Satisfiability (SAT)’ betrachtet.