The following pages link to (Q5422270):
Displayed 5 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Proof system representations of degrees of disjoint NP-pairs (Q1944897) (← links)
- Logical Closure Properties of Propositional Proof Systems (Q3502657) (← links)
- Hard Instances of Algorithms and Proof Systems (Q5892128) (← links)