Revision as of 22:23, 3 April 2016 edit RDT (talk \| contribs) 295 edits →References ← Previous edit		Revision as of 23:13, 9 July 2016 edit undo 74.215.209.17 (talk) Added stub template Next edit →
Line 8: The problem is closely related to [[Boolean satisfiability problem \| Boolean Satisfiability Problem]] which is complete for [[NP_(complexity) \| NP]] and its complement [[Tautology_(logic) \| Propositional Tautologihood Problem]] which is complete for [[Co-NP \| coNP]]. {{compu-prog-stub}} == References == {{Reflist}}

Circuit value problem: Difference between revisions