Lecture 2: Solving SAT by branching (source paper)
Abschlussbedingungen
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Klicken Sie auf 'Lecture 2: Solving SAT by branching (source paper)', um die Ressource zu öffnen.