Close
Register
Close Window

Show Source |    | About   «  28.12. NP-Completeness Proofs   ::   Contents   ::   28.14. Reduction of SAT to 3-SAT  »

28.13. Reduction of Circuit SAT to SAT

28.13.1. Reduction of Circuit SAT to SAT

The following slideshow shows that an instance of Circuit Satisfiability problem can be reduced to an instance of SAT problem in polynomial time.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

This reduction can help in providing an NP Completeness proof for SAT.

   «  28.12. NP-Completeness Proofs   ::   Contents   ::   28.14. Reduction of SAT to 3-SAT  »

Close Window