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.
![](./../../../../../wp-content/uploads/2023/06/Screenshot-2023-06-14-at-17.22.37-1024x583.png)
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.