Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho Miguel Terra-Neves Miguel Ventura Ruben Martins Vasco M. Manquinho

Published in: CP (2019)

Keyphrases

program synthesis
search space
recursive programs
orders of magnitude
inductive logic programming
planning problems
dynamic programming
databases
information retrieval
training data
domain knowledge
software engineering
np complete
non binary