Symmetric Synthesis.

Rüdiger Ehlers Bernd Finkbeiner

Published in: FSTTCS (2017)

Keyphrases

program synthesis
texture synthesis
genetic algorithm
cooperative
trade off
databases
real world
three dimensional
optimal solution
learning environment
digital libraries