Reducing Boolean Satisfiability to the Witness #1 Post by cpatuzzo » Sat, Aug 06, 2016, 10:08 PM UTC Reducing Boolean Satisfiability to the Witnessmakercasts.org