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