------------------------------------------------
COMP SCI 731 - Lecture 7 - Monday, Nov 20, 2000
------------------------------------------------

Today: o Quiz 1
       o More reductions: SAT < 3SAT using CIRCUIT.
       o Start 3SAT < HC