Course contentsShow
Computer Science
Lesson 1933 of 2,87243. Complexity TheoryPro lesson

SAT to 3-SAT Reduction

Work through the classic reduction from general SAT to 3-SAT using clause transformation techniques.

This lesson is for subscribers

You've completed the free preview. Subscribe to unlock every lesson in every course.