Towards reliability in combinatorial optimisation

  • Gange, Graeme (Primary Chief Investigator (PCI))

    Project: Research

    Project Details

    Project Description

    This project intends to develop techniques to ensure that the solutions reported by optimisation tools are correct and verifiable. Combinatorial optimisation problems, where the best solution must be found from a vast set of possibilities, are central to critical sectors of the economy, including shipping, transit, mining and emergency response. Automated tools for these problems can now solve large industrial examples, however, they are incredibly complex artefacts which are prone to error and difficult to test. New methods for ensuring the correctness of automated tools would allow users to trust that the results returned by these tools are correct when making critical decisions.
    StatusFinished
    Effective start/end date1/04/163/12/21
    • Constraint programming for dynamic symbolic execution of JavaScript

      Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

      Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

      8 Citations (Scopus)
    • Dissecting widening: separating termination from information

      Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Programming Languages and Systems : 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, Indonesia, December 1–4, 2019 Proceedings. Lin, A. W. (ed.). Cham Switzerland: Springer, p. 95-114 20 p. (Lecture Notes in Computer Science; vol. 11893 ).

      Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    • Lazy CBS: implicit Conflict-based Search using Lazy Clause Generation

      Gange, G., Harabor, D. & Stuckey, P. J., 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., Smith, D. E. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 155-162 8 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 29).

      Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

      Open Access
      File
      36 Citations (Scopus)