Evaluating Programs Formed by Example: An Informational Heuristic.

Ian H. Witten David Maulsby

Published in: New Results and New Trends in Computer Science (1991)

Keyphrases

optimal solution
dynamic programming
tabu search
search algorithm
computer programs
programming environment
intermediate level
data sets
artificial intelligence
information technology
constraint satisfaction
search strategies
heuristic methods
mixed integer programming
heuristic solution
provably correct