Lecture 2: Solving SAT by branching (source paper)
Требуемые условия завершения
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Нажмите на ссылку Lecture 2: Solving SAT by branching (source paper), чтобы открыть ресурс.