On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography.
Edward A. HirschDmitry ItsyksonIvan MonakhovAlexander SmalPublished in: Theory Comput. Syst. (2012)
Keyphrases
- optimal solution
- worst case
- dynamic programming
- exhaustive search
- computational complexity
- cellular automata
- optimal planning
- greedy heuristic
- tabu search
- np hard
- search algorithm
- special case
- constraint satisfaction
- solution quality
- theorem proving
- search procedure
- objective function
- space complexity
- optimal design
- finding optimal
- feature selection
- data sets