Pages that link to "Cook–Levin theorem"
From HandWiki
The following pages link to Cook–Levin theorem:
Displayed 20 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Computational complexity theory (← links)
- Formal methods (← links)
- NP-completeness (← links)
- PCP theorem (← links)
- P versus NP problem (← links)
- List of multiple discoveries (← links)
- Circuit satisfiability problem (← links)
- True quantified Boolean formula (← links)
- Boolean satisfiability problem (← links)
- Turing machine equivalents (← links)
- Subgraph isomorphism problem (← links)
- Clique problem (← links)
- Parity P (← links)
- Descriptive Complexity (← links)
- Complexity and Real Computation (← links)
- Non-interactive zero-knowledge proof (← links)
- Hamiltonian complexity (← links)
- SAT solver (← links)
- Biography:Leonid Levin (← links)
- Biography:Stephen Cook (← links)
