Reducing Boolean Satisfiability to the Witnesshttp://makercasts.org/articles/the-witness by cpatuzzo • 10 years ago 1 0 10 years agoMAmakercasts.org