Login / Signup
Sequential synthesis using S1S.
Adnan Aziz
Felice Balarin
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
</>
program synthesis
database
neural network
data sets
web pages
wide range
recommender systems
medical images
heuristic search
sequential data