Pages that link to "NP-complete"
The following pages link to NP-complete:
Displaying 11 items.
- PSPACE (← links)
- Cook-Levin Theorem (← links)
- SAT solver (← links)
- Constraint Satisfaction (← links)
- SMT Solver (← links)
- Stephen Cook (← links)
- Boolean satisfiability problem (← links)
- Descriptive complexity (← links)
- Satisfiability (← links)
- Satisfiability problem (← links)
- Worst-case to average-case reduction (← links)