Heuristic-Guided Abstraction Refinement.

Fei He Xiaoyu Song Ming Gu Jia-Guang Sun

Published in: Comput. J. (2009)

Keyphrases

search algorithm
dynamic programming
simulated annealing
combinatorial optimization
heuristic methods
heuristic solution
low level
tabu search
greedy heuristic
refinement process
artificial intelligence
decision trees
search strategies
optimal or near optimal