Effective heuristics for counterexample-guided abstraction refinement.

Fei He Xiaoyu Song Ming Gu Jiaguang Sun

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

real time
machine learning
image processing
high level
special case
neural network
decision making
face recognition
high quality
data structure
search algorithm
computationally efficient
search methods