A simple inductive synthesis methodology and its applications.

Shachar Itzhaky Sumit Gulwani Neil Immerman Mooly Sagiv

Published in: OOPSLA (2010)

Keyphrases

data mining
computer vision
inductive learning
information retrieval
data structure
multiresolution
design methodology