The following pages link to (Q5422270):
Displaying 8 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- On an optimal propositional proof system and the structure of easy subsets of TAUT. (Q1853507) (← links)
- Proof system representations of degrees of disjoint NP-pairs (Q1944897) (← links)
- Logical Closure Properties of Propositional Proof Systems (Q3502657) (← links)
- (Q4251070) (← links)
- OPTIMAL PROOFS OF DETERMINACY II (Q4799378) (← links)
- Hard Instances of Algorithms and Proof Systems (Q5892128) (← links)