Lecture 2: Solving SAT by branching (source paper)
Requisitos de finalización
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Haga clic en el enlace Lecture 2: Solving SAT by branching (source paper) para abrir el recurso.