Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver
SEKE, 2008.
@inproceedings{SEKE-2008-ChenLMW,
author = "Tsong Yueh Chen and Huimin Lin and Robert G. Merkel and Daoming Wang",
booktitle = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-22-5",
pages = "16--21",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver}",
year = 2008,
}