Encodings of Bounded Synthesis.

Peter Faymonville Bernd Finkbeiner Markus N. Rabe Leander Tentrup

Published in: TACAS (1) (2017)

Keyphrases

databases
texture synthesis
program synthesis
neural network
data mining
genetic algorithm
three dimensional
planning problems
non binary
strictly convex