Login / Signup
Efficiency estimation - Controlling search in program synthesis.
Elaine Kant
Published in:
AFIPS National Computer Conference (1978)
Keyphrases
</>
program synthesis
search efficiency
search algorithm
artificial intelligence
decision trees
cellular automata
estimation error
estimation accuracy
recursive programs