The following pages link to (Q4251070):
Displayed 6 items.
- On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography (Q693058) (← 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)
- Optimal heuristic algorithms for the image of an injective function (Q1946839) (← links)
- Consistency and Optimality (Q3091441) (← links)
- Hard Instances of Algorithms and Proof Systems (Q5892128) (← links)