Login / Signup
Resource-Guided Program Synthesis.
Tristan Knoth
Di Wang
Nadia Polikarpova
Jan Hoffmann
Published in:
CoRR (2019)
Keyphrases
</>
program synthesis
resource allocation
resource constraints
recursive programs
artificial intelligence
learning algorithm
knowledge base
low level
general purpose
logic programs
model selection