Constrained synthesis from component libraries.

Antonio Iannopollo Stavros Tripakis Alberto L. Sangiovanni-Vincentelli

Published in: Sci. Comput. Program. (2019)

Keyphrases

digital libraries
computer vision
multimedia
neural network
website
multi agent
special case
texture synthesis
functional programs