.. _circuitSAT:

.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = true;ODSA.SETTINGS.MODULE_NAME = "circuitSAT";ODSA.SETTINGS.MODULE_LONG_NAME = "Circuit Satisfiability";ODSA.SETTINGS.MODULE_CHAPTER = "modules"; ODSA.SETTINGS.BUILD_DATE = "2019-07-03 11:58:00"; ODSA.SETTINGS.BUILD_CMAP = false;JSAV_OPTIONS['lang']='en';JSAV_EXERCISE_OPTIONS['code']='java';</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:



.. odsalink:: AV/Development/NP/circuitSATCON.css
.. This file is part of the OpenDSA eTextbook project. See
.. http://algoviz.org/OpenDSA for more details.
.. Copyright (c) 2012-2013 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :author: Nabanita Maji
   :topic: NP-completeness

Circuit Satisfiability
======================

Circuit Satisfiability
----------------------

.. inlineav:: circuitSATCON ss
   :points: 0.0
   :required: False
   :threshold: 1.0
   :long_name: Circuit Satisfiability
   :output: show

In the above problem, given a particular assignment, while we can 
quickly check whether the assignment satisfies the circuit or not,
we have no easy way of knowing whether it has any satisfying 
assignment.

.. odsascript:: AV/Development/NP/circuit/circuit.js
.. odsascript:: AV/Development/NP/circuitSATCON.js