Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Robert G. Merkel' in GoogleThis author has not been identified. Look up 'Daoming Wang' in GoogleThis author has not been identified. Look up 'Huimin Lin' in GoogleThis author has not been identified. Look up 'Tsong Yueh Chen' in Google

runs on WebDSL