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

Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang. Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008. pages 16-21, Knowledge Systems Institute Graduate School, 2008.

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

runs on WebDSL