Preprocessing For SAT - Intro to Theoretical Computer Science

This video is part of an online course, Intro to Theoretical Computer Science. Check out the course here: https://www.udacity.com/course/cs313.