Lecture 2: Solving SAT by branching (source paper)
Tamamlama Gereklilikleri
This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.
Kaynağı açmak için Lecture 2: Solving SAT by branching (source paper) üzerine tıklayın.