The Satisability Problem: Random Walk and Derandomization

This short paper should show you the nowadays two main approaches { randomized and deterministic algorithm- for solving satisability problems eciently. Therefore we will have