Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen. Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. International Journal of Software Engineering and Knowledge Engineering, 21(2):289-307, 2011. [doi]
@article{MerkelWLC11,
title = {Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver},
author = {Robert G. Merkel and Daoming Wang and Huimin Lin and Tsong Yueh Chen},
year = {2011},
doi = {10.1142/S021819401100527X},
url = {http://dx.doi.org/10.1142/S021819401100527X},
tags = {optimization, case study},
researchr = {https://researchr.org/publication/MerkelWLC11},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {21},
number = {2},
pages = {289-307},
}