Experiments in the Heuristic Use of Past Proof Experience.

Published in: CADE (1996)

Keyphrases

search algorithm
machine learning
user experience
timetabling problem
optimal solution
heuristic solution
dynamic programming
tabu search
heuristic methods
learning curve
bin packing