Login / Signup
Scaling Enumerative Program Synthesis via Divide and Conquer.
Rajeev Alur
Arjun Radhakrishna
Abhishek Udupa
Published in:
TACAS (1) (2017)
Keyphrases
</>
program synthesis
integer programming
inductive logic programming
information retrieval
recursive programs
machine learning
knowledge base
database systems
pairwise
knn
information extraction