Lecture 2: Solving SAT by branching (source paper)
Requisits de compleció
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Feu clic a l'enllaç Lecture 2: Solving SAT by branching (source paper) per obrir el recurs.