The following pages link to Cook–Levin theorem:
Displayed 8 items.
- Boolean satisfiability problem (← links | edit)
- P versus NP problem (← links | edit)
- Computational complexity theory (← links | edit)
- Stephen Cook (← links | edit)
- Formal methods (← links | edit)
- Clique problem (← links | edit)
- Leonid Levin (← links | edit)
- Subgraph isomorphism problem (← links | edit)