Login / Signup
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis.
Andrew Reynolds
Haniel Barbosa
Andres Nötzli
Clark W. Barrett
Cesare Tinelli
Published in:
CAV (2) (2019)
Keyphrases
</>
search space
high level
natural language
smart grid
program synthesis
machine learning
artificial intelligence
image processing
decision trees
cost function
query language
probabilistic model
information retrieval systems
smart environments
precisely defined