Circuit-SAT to SAT Reduction

Reduction of Circuit Satisifiability to SAT