Sign in

Scaling Enumerative Program Synthesis via Divide and Conquer.

Rajeev AlurArjun RadhakrishnaAbhishek 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