User Tools

Site Tools


plt17:lecture_5

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_5 [2017/09/08 15:36] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 5 ======
 +Lecture 5  {{ :​plt17:​lectures:​lect5:​main.pdf | Slides}} ​
 +(Boolean Satisfiability (SAT) Solving)
  
 +=== Readings ===
 + 
 +  * Martin Davis, George Logemann, Donald Loveland: "A machine program for theorem-proving",​ Communications of the ACM (CACM), July 1962 
plt17/lecture_5.txt ยท Last modified: 2017/09/08 15:36 by hossein