Udacity Robot edited English subtitles for Preprocessing For SAT - Intro to Theoretical Computer Science
sp1 added a translation
Udacity Robot added a video: Preprocessing For SAT - Intro to Theoretical Computer Science