Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.

Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang

Browse the full SEKE paper archive.