Login / Signup
Dependency-based Compositional Synthesis (Full Version).
Bernd Finkbeiner
Noemi Passing
Published in:
CoRR (2020)
Keyphrases
</>
trade off
information content
data sets
computer vision
information systems
image processing
case study
multiscale
program synthesis