Login / Signup
Synthesis under Assumptions.
Benjamin Aminof
Giuseppe De Giacomo
Aniello Murano
Sasha Rubin
Published in:
KR (2018)
Keyphrases
</>
program synthesis
texture synthesis
simplifying assumptions
data sets
wide range
cooperative
evolutionary algorithm
probabilistic model