On optimal heuristic randomized semidecision procedures, with application to proof complexity

Edward A. Hirsch Dmitry Itsykson

Published in: CoRR (2009)

Keyphrases

optimal solution
worst case
search algorithm
neural network
bayesian networks
dynamic programming
real time
case study
constraint satisfaction
decision problems
exhaustive search
asymptotically optimal
greedy heuristic