The following pages link to CoNP
External toolsShowing 10 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Stephen Cook (links | edit)
- Closed-world assumption (links | edit)
- Proof complexity (links | edit)
- Monadic second-order logic (links | edit)
- Kernelization (links | edit)
- Average-case complexity (links | edit)
- Integral polytope (links | edit)
- Propositional proof system (links | edit)
- Boolean hierarchy (links | edit)
- Bounded arithmetic (links | edit)