Login / Signup
Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
Robert G. Merkel
Daoming Wang
Huimin Lin
Tsong Yueh Chen
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2011)
Keyphrases
</>
quadratic assignment problem
optimization problems
combinatorial optimization
computationally efficient
learning algorithm
stochastic local search
lower bound
genetic algorithm
objective function
evolutionary algorithm
orders of magnitude
metaheuristic
machine learning methods