A Heuristic Approach to Program Verification.

Shmuel Katz Zohar Manna

Published in: IJCAI (1973)

Keyphrases

optimal solution
simulated annealing
tabu search
solution quality
beam search
real world
genetic algorithm
bayesian networks
reinforcement learning
lower bound
special case
np hard
dynamic programming
exhaustive search
heuristic methods
search effort