Lecture 2: Solving SAT by branching (source paper)
Slutförandvillkor
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Klicka på Lecture 2: Solving SAT by branching (source paper) för att öppna resurs