Content deleted Content added
{{comp-sci-theory-stub}} |
{{expert-subject|Computer Science}} |
||
Line 1:
{{expert-subject|
'''Circuit satisfiability''' is an [[NP-complete]] mathematical problem related to [[Boolean circuit]]s.<ref>{{cite web|url=http://people.clarkson.edu/~alexis/PCMI/Notes/lectureB07.pdf|title=Lecture 7: NP-Complete Problems|date=July 5, 2000|author=David Mix Barrington and Alexis Maciel}}</ref>
|