Automatic verification of optimization algorithms: A case study of a quadratic assignment problem solver

Robert Graham Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen

    Research output: Contribution to journalArticleResearchpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)289 - 307
    Number of pages19
    JournalInternational Journal of Software Engineering and Knowledge Engineering
    Issue number2
    Publication statusPublished - 2011

    Cite this