Login / Signup
Bounded Cycle Synthesis.
Bernd Finkbeiner
Felix Klein
Published in:
CoRR (2016)
Keyphrases
</>
program synthesis
image segmentation
cooperative
real world
database systems
optimal solution
lower bound
trade off
texture synthesis
continuous functions