Language to Specify Syntax-Guided Synthesis Problems.

Mukund Raghothaman Abhishek Udupa

Published in: CoRR (2014)

Keyphrases

np complete
natural language
language learning
optimization problems
database
neural network
decision problems
problems involving
databases
search engine
database systems
search algorithm
search space
multi objective
predicate calculus