This article needs attention from an expert in Computer Science. Please add a reason or a talk parameter to this template to explain the issue with the article. |
Circuit satisfiability is an NP-complete mathematical problem related to Boolean circuits.[1]
References
- ^ David Mix Barrington and Alexis Maciel (July 5, 2000). "Lecture 7: NP-Complete Problems" (PDF).