The following pages link to (Q4263798):
Displaying 4 items.
- On an optimal randomized acceptor for graph nonisomorphism (Q413276) (← links)
- 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)
- Optimal heuristic algorithms for the image of an injective function (Q1946839) (← links)
