Lecture 2: Solving SAT by branching (source paper)
Aggregazione dei criteri
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Per aprire la risorsa fai click su Lecture 2: Solving SAT by branching (source paper)