Why Local Search Excels in Expression Simplification.

Ben Ruijl Aske Plaat Jos Vermaseren H. Jaap van den Herik

Published in: CoRR (2014)

Keyphrases

search algorithm
search space
global search
genetic algorithm
tabu search
multiresolution
optimal solution
preprocessing
systematic search
information retrieval
initial solution
algebraic expressions
databases
search procedure
multi start
hooke jeeves