Heuristic Certificates via Approximations.

Shlomi Dolev Marina Sadetsky

Published in: PDCAT (2009)

Keyphrases

optimal solution
computationally tractable
access control
tabu search
constraint satisfaction
greedy heuristic
beam search
closed form
simulated annealing
dynamic programming
real time
linear programming
feasible solution
efficient computation
heuristic function
approximation methods
machine learning