Lecture

Satisfiability and clusters