On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity.

Edward A. Hirsch Dmitry Itsykson

Published in: STACS (2010)

Keyphrases

worst case
computational complexity
dynamic programming
optimal solution
optimal control
greedy heuristic
website
case study
objective function
evolutionary algorithm
decision support
constraint satisfaction
search strategies
scheduling policies