The following pages link to (Q3113771):
Displaying 4 items.
- Speedup for natural problems and noncomputability (Q620964) (← links)
- On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography (Q693058) (← links)
- Optimal heuristic algorithms for the image of an injective function (Q1946839) (← links)
- On optimal inverters (Q2925321) (← links)