A fast algorithm for OR-AND-OR synthesis.

Debatosh Debnath Zvonko G. Vranesic

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)

Keyphrases

program synthesis
wide range
machine learning
functional programs
data sets
neural network
data mining
search engine
case study
high level
preprocessing
expert systems
special case