Pages that link to "Cook–Levin theorem"
Jump to navigation
Jump to search
The following pages link to Cook–Levin theorem:
Displaying 17 items.
- Boolean satisfiability problem (← links)
- P versus NP problem (← links)
- Computational complexity theory (← links)
- Stephen Cook (← links)
- Formal methods (← links)
- Clique problem (← links)
- Leonid Levin (← links)
- Subgraph isomorphism problem (← links)
- Karp's 21 NP-complete problems (← links)
- Parity P (← links)
- Cook-Levin Theorem (redirect page) (← links)
- PCP theorem (← links)
- Proof that Boolean satisfiability problem is NP-complete (redirect to section "Proof") (← links)
- List of multiple discoveries (← links)
- Turing machine equivalents (← links)
- Talk:Cook–Levin theorem (← links)
- Wiki143:WikiProject Mathematics/List of mathematics articles (C) (← links)