Dependency-Based Compositional Synthesis.

Bernd Finkbeiner Noemi Passing

Published in: ATVA (2020)

Keyphrases

program synthesis
texture synthesis
neural network
database
decision making
case study
feature extraction
information extraction