Login / Signup
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography.
Edward A. Hirsch
Dmitry Itsykson
Ivan Monakhov
Alexander Smal
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
optimal solution
dynamic programming
worst case
optimal cost
computational complexity
exhaustive search
optimal design
greedy heuristic
linear logic
feature selection
search algorithm
lower bound
information systems
network revenue management
obtain the optimal solution
error tolerance
closed form
cellular automata